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 BibTeX
@proceedings{DBLP:conf/asm/2000,
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {Abstract State Machines, Theory and Applications, International
Workshop, ASM 2000, Monte Verit{\`a}, Switzerland, March 19-24,
2000, Proceedings},
booktitle = {Abstract State Machines},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1912},
year = {2000},
isbn = {3-540-67959-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Introduction
Mathematical Foundations
Abstract State Machine Languages
Distribution and Concurrency
Compilers and Semantics
Automatic Verification and Model Checking
Industrial Applications
Copyright © Sat May 16 22:58:42 2009
by Michael Ley (ley@uni-trier.de)
