Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

1998 Bibliography


Citation: Egon Börger and James K. Huggins, "Abstract State Machines 1988-1998: Commented ASM Bibliography", Formal Specification Column (H. Ehrig, ed.), EATCS Bulletin 64, February 1998, 105-127.
Summary: An annotated bibliography of all ASM papers in print as of the end of 1997.
Subjects: Historical Surveys & Bibliographies
Download: WWW pages, PostScript, PDF, Compressed PostScript.
Notes: The current version of the ASM Bibliography is available in the following forms: