MPG.eBooks - Author Search Results

Cover Image

1

Logic Based Program Synthesis and Transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers

Published 2005

Springer Berlin Heidelberg

Other Authors: “...Etalle, Sandro...”

Cover Image

2

Trust Management : Proceedings of IFIPTM 2007: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, July 30-August 2, 2007, New Brunswick, Canada

Published 2007

Springer US

Other Authors: “...Etalle, Sandro...”

Cover Image

3

Logic Programming : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

Other Authors: “...Etalle, Sandro...”

Cover Image

4

Formal Aspects of Security and Trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

Published 2012

Springer Berlin Heidelberg

Other Authors: “...Etalle, Sandro...”

Cover Image

5

Formal Aspects of Security and Trust : 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers

Published 2011

Springer Berlin Heidelberg

Other Authors: “...Etalle, Sandro...”