Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}