Abstract State Machines 1988-1998: Commented ASM Bibliography

Simple item page
dc.creatorBoerger, Egon
dc.creatorHuggins, James K.
dc.date1998-11-09
dc.date.accessioned2026-07-07T03:23:48Z
dc.date.available2026-07-07T03:23:48Z
dc.descriptionAn annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.
dc.descriptionAlso maintained as a BibTeX file at http://www.eecs.umich.edu/gasm/
dc.identifierhttps://arxiv.org/abs/cs/9811014
dc.identifierhttp://arxiv.org/abs/cs/9811014
dc.identifierFormal Specification Column (H. Ehrig, ed.), EATCS Bulletin 64, February 1998, 105--127
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/33085
dc.subjectSoftware Engineering
dc.subjectD.2.4
dc.titleAbstract State Machines 1988-1998: Commented ASM Bibliography
dc.typetext

Files

Collections

arXiv