The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models
G. Del Castillo, The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
Download
No fulltext has been uploaded.
Dissertation
| Published
| English
Author
Del Castillo, Giuseppe
Department
Publishing Year
Series Title / Volume
Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
Volume
83
LibreCat-ID
Cite this
Del Castillo G. The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models. Vol 83. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2000.
Del Castillo, G. (2000). The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models (Vol. 83). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
@book{Del Castillo_2000, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models}, volume={83}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Del Castillo, Giuseppe}, year={2000}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
Del Castillo, Giuseppe. The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models. Vol. 83. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
G. Del Castillo, The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models, vol. 83. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
Del Castillo, Giuseppe. The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
Google Scholar