%0 Book %1 BorgerStark03 %A Borger, E. %A Stark, Robert F. %C Secaucus, NJ, USA %D 2003 %I Springer-Verlag New York, Inc. %K semantics thesis %T Abstract State Machines: A Method for High-Level System Design and Analysis %@ 3540007024

@book{BorgerStark03, added-at = {2008-03-25T15:01:53.000+0100}, address = {Secaucus, NJ, USA}, author = {Borger, E. and Stark, Robert F.}, biburl = {https://www.bibsonomy.org/bibtex/2e02ded1de6eb466feb447c0114e34069/markus.scheidgen}, interhash = {c9cc23e44d5f97fafcac736030e9e90f}, intrahash = {e02ded1de6eb466feb447c0114e34069}, isbn = {3540007024}, keywords = {semantics thesis}, publisher = {Springer-Verlag New York, Inc.}, timestamp = {2008-03-25T15:01:54.000+0100}, title = {Abstract State Machines: A Method for High-Level System Design and Analysis}, year = 2003 }