TY  - BOOK
AU  - Borger, Egon
AU  - Stark, Robert
TI  - Abstract State Machines: a method for high-level systemdesign and analysis
SN  - 9783540007029
U1  - 004.21 BOR 
PY  - 2003///
CY  - Berlin
PB  - Springer
KW  - Embedded computer systems
KW  - Computer software -- Development
KW  - System design
ER  -