Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Abstract State Machines: Citation Index


Note: The current version of the ASM Bibliography (including papers unavailable from this site) is available as a BibTeX source file.