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