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