M. Spielmann.
Model Checking Abstract State Machines and Beyond.
In
Proceedings of International Workshop on Abstract State Machines
(ASM 2000),
volume 1912 of
Lecture Notes in Computer Science,
pages 323-340,
Springer Verlag, 2000.
M. Spielmann.
Automatic Verification of Abstract State Machines.
In
Proceedings of 11th International Conference on Computer-Aided
Verification (CAV '99),
volume 1633 of
Lecture Notes in Computer Science,
pages 431-442,
Springer Verlag, 1999.
E. Grädel and M. Spielmann.
Logspace Reducibility via Abstract State Machines.
In
Proceedings of World Congress on Formal Methods (FM '99),
volume 1709 of
Lecture Notes in Computer Science,
pages 1738-1757,
Springer Verlag, 1999.