Author:
Del Castillo Giuseppe,Glässer Uwe
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Börger, E., Huggins, J.: Abstract State Machines 1988-1998: Commented ASM Bibliography. Bulletin of EATCS 64 (February 1998)
2. Börger, E.: High level system design and analysis using Abstract State Machines. In: Hutter, D., Stephan, W., Traverso, P., Ullmann, M. (eds.) FM-Trends 1998. LNCS, vol. 1641, pp. 1–43. Springer, Heidelberg (1999)
3. Damm, W., Hungar, H., Kelb, P., Schlör, R.: Using graphical specification languages and symbolic model checking in the verification of a production cell. In: [10]
4. Del Castillo, G.: Towards comprehensive tool support for Abstract State Machines: The ASM Workbench tool environment and architecture. In: Hutter, D., Stephan, W., Traverso, P., Ullmann, M. (eds.) FM-Trends 1998. LNCS, vol. 1641, pp. 311–325. Springer, Heidelberg (1999)
5. Lecture Notes in Computer Science;U. Glässer,1997