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, Heinz Nixdorf Institut, Universität Paderborn, 2000.

Download
No fulltext has been uploaded.
Dissertation | English
Author
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. Heinz Nixdorf Institut, Universität 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). Heinz Nixdorf Institut, Universität 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={Heinz Nixdorf Institut, Universität 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. Heinz Nixdorf Institut, Universität Paderborn, 2000.
G. Del Castillo, The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models, vol. 83. Heinz Nixdorf Institut, Universität Paderborn, 2000.
Del Castillo, Giuseppe. The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models. Heinz Nixdorf Institut, Universität Paderborn, 2000.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar