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
Publishing Year
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.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar