default search action
International Workshops on Abstract State Machines (ASM)
Evolving Algebras Project (EAP)
12th ASM 2005: Paris, France
- Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France. 2005 [contents]
11th ASM 2004: Lutherstadt Wittenberg, Germany
- Wolf Zimmermann, Bernhard Thalheim:
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]
10th ASM 2003: Taormina, Italy
- Egon Börger, Angelo Gargantini, Elvinia Riccobene:
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]
9th ASM 2002: Dagstuhl, Germany
8th ASM 2001: Las Palmas de Gran Canaria, Spain
7th ASM 2000: Monte Verità, Switzerland
- Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele:
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]
6th ASM@FM 1999: Toulouse, France
5th ASM 1998: Magdeburg, Germany
- Uwe Glässer, Peter H. Schmitt:
Fifth International Workshop on Abstract State Machines, ASM 1998, Magdeburg, Germany, September 21-22, Proceedings. 1998 [contents]
ASM Workshop 1998: Cannes, France
ASM Workshop 1997: Cannes, France
Workshop on Evolving Algebras 1996: Schloß Eringerfeld, Germany
Workshop on Evolving Algebras 1994: Hamburg, Germany
held during the IFIP World Computer Congress
Evolving Algebras Project 1993: Lipari, Italy
- Egon Börger:
Specification and validation methods. Oxford University Press 1995, ISBN 0-19-853854-5 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.