Abstract State Machines 1988-1998: Commented ASM Bibliography

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.
Also maintained as a BibTeX file at http://www.eecs.umich.edu/gasm/

Keywords

Software Engineering, D.2.4

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/33085

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/cs/9811014
 http://arxiv.org/abs/cs/9811014
 Formal Specification Column (H. Ehrig, ed.), EATCS Bulletin 64, February 1998, 105--127

Collections

arXiv