{"_id":"24499","user_id":"60046","title":"The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models","author":[{"last_name":"Del Castillo","full_name":"Del Castillo, Giuseppe","first_name":"Giuseppe"}],"department":[{"_id":"26"}],"type":"dissertation","date_created":"2021-09-15T10:22:46Z","year":"2000","citation":{"short":"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.","apa":"Del Castillo, G. (2000). <i>The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models</i> (Vol. 83). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.","ama":"Del Castillo G. <i>The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models</i>. Vol 83. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2000.","mla":"Del Castillo, Giuseppe. <i>The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models</i>. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.","chicago":"Del Castillo, Giuseppe. <i>The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models</i>. Vol. 83. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.","ieee":"G. Del Castillo, <i>The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models</i>, vol. 83. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.","bibtex":"@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} }"},"intvolume":"        83","date_updated":"2022-01-06T06:56:25Z","series_title":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","publisher":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","publication_status":"published","status":"public","volume":83,"language":[{"iso":"eng"}]}