%0 Thesis %1 phd/dnb/Castillo01 %A Castillo, Giuseppe Del %D 2001 %K dblp %P 1-212 %T The ASM workbench - a tool environment for computer aided analysis and validation of abstract state machine models. %@ 978-3-931466-82-4

@phdthesis{phd/dnb/Castillo01, added-at = {2017-01-19T00:00:00.000+0100}, author = {Castillo, Giuseppe Del}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f5a11142c96fc2d32067cd5a08a9a84f/dblp}, ee = {http://d-nb.info/960157514}, interhash = {ed331cb139e9e588aa95e0a8dcb23323}, intrahash = {f5a11142c96fc2d32067cd5a08a9a84f}, isbn = {978-3-931466-82-4}, keywords = {dblp}, pages = {1-212}, school = {University of Paderborn, Germany}, timestamp = {2017-01-20T10:33:19.000+0100}, title = {The ASM workbench - a tool environment for computer aided analysis and validation of abstract state machine models.}, year = 2001 }