dblp.uni-trier.de www.uni-trier.de

Workshops on Abstract State Machines

(formerly: Evolving Algebras Project)

2. ABZ 2010: Orford, QC, Canada

Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves (Eds.): Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings. Lecture Notes in Computer Science 5977 Springer 2010, ISBN 978-3-642-11810-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

1. ABZ 2008: London, UK

Egon Börger, Michael J. Butler, Jonathan P. Bowen, Paul Boca (Eds.): Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings. Lecture Notes in Computer Science 5238 Springer 2008, ISBN 978-3-540-87602-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

ASM 2005: Paris, France

Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France. 2005
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - ASM 2005 Home Page

ASM 2004: Lutherstadt Wittenberg, Germany

Wolf Zimmermann, Bernhard Thalheim (Eds.): Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings. Lecture Notes in Computer Science 3052 Springer 2004, ISBN 3-540-22094-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

ASM 2003: Taormina, Italy

Egon Börger, Angelo Gargantini, Elvinia Riccobene (Eds.): Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings. Lecture Notes in Computer Science 2589 Springer 2003, ISBN 3-540-00624-9
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

ASM 2000: Monte Verità, Switzerland

Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele (Eds.): Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings. Lecture Notes in Computer Science 1912 Springer 2000, ISBN 3-540-67959-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - ASM 2000 Home Page

ASM 1998: Magdeburg, Germany

Uwe Glässer, Peter H. Schmitt (Eds.): Fifth International Workshop on Abstract State Machines, Proceedings, Magdeburg, Germany, September 21-22, GI Jahrestagung
Contents - ASM 1998 Magdeburg Home Page

4. ASM 1998: Cannes, France

ASM 1998 Cannes Home Page

3. ASM 1997: Cannes, France

ASM 1997 Home Page

2. ASM 1996: Schloß Eringerfeld

1. ASM 1994: Hamburg, Germany

held during the IFIP World Computer Congress

Copyright © Mon Mar 15 03:13:21 2010 by Michael Ley (ley@uni-trier.de)