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:yes
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

Authors:
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
USA
Abstract:
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.
Keywords:
Abstract State Machines, ASMs, Evolving Algebras, Formal Methods
Author Comments:
Comments, additions and corrections are welcome and should be sent to boerger@di.unipi.it and huggins@acm.org
Many of the listed papers are available at the ASM Home Page at http://www.eecs.umich.edu/gasm

Browsing the bibliography

Bibliographic Statistics

Types:
inproceedings(131), article(61), techreport(39), incollection(38), phdthesis(12), mastersthesis(7), book(2), misc(1), unpublished(1)
Fields:
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!