TY  - BOOK
AU  - Borger, Egon
AU  - Riccobene, Elvinia
AU  - Gargantini, Angelo
TI  - Abstract State Machines 2003: Advance in Theory and Practice
SN  - 9783540006244
U1  - 005 
PY  - 2003///
CY  - New York
PB  - Springer-Verlag
KW  - Computer Engineering
N1  - 10th International Workshop, ASM 2003 Taormina, Italy, March 3-7, 2003 Proceedings Invited Papers Research Papers Extended Abstracts Author Index
ER  -