Abstract State Machines 1988-1998: Commented ASM Bibliography
软件工程
2007-05-23 v1
摘要
An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.
引用
@article{arxiv.cs/9811014,
title = {Abstract State Machines 1988-1998: Commented ASM Bibliography},
author = {Egon Boerger and James K. Huggins},
journal= {arXiv preprint arXiv:cs/9811014},
year = {2007}
}
备注
Also maintained as a BibTeX file at http://www.eecs.umich.edu/gasm/