The Collection of
Computer Science Bibliographies

Annotated Bibliography on Abstract State Machines (ASMs)

[   About   |  Browse   |   Statistics   ]

Number of references:292Last update:January 19, 2014
Number of online publications:0Supported:no
Most recent reference:2008

in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

Information on the Bibliography

Egon Börger <boerger @ di . unipi . it> (email mangled to prevent spamming)
James K. Huggins <huggins @ acm . org> (email mangled to prevent spamming)

Kettering University
Flint, MI, 48504-4898
BibTeX bibliography of all known papers using the formal method for specification and verification known as Abstract State Machines (ASMs), formerly known as Evolving Algebras.
Abstract State Machines, ASMs, Evolving Algebras, Formal Methods
Author Comments:
Comments, additions and corrections are welcome and should be sent to and
Many of the listed papers are available at the ASM Home Page at

Browsing the bibliography

Bibliographic Statistics

inproceedings(131), article(61), techreport(39), incollection(38), phdthesis(12), mastersthesis(7), book(2), misc(1), unpublished(1)
author(292), title(292), year(292), note(283), pages(200), booktitle(169), editor(130), volume(128), number(111), publisher(108), month(90), series(83), journal(62), address(55), type(41), institution(38), organization(37), school(19), bibnote(5), editors(3), chapter(1), howpublished(1), optaddress(1)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!