TY  - BOOK
AU  - Johnson. Chris
TI  - Interactive Systems: Design, Specification and Verification
SN  - 3540428070
PY  - 2001///
CY  - Berlin
PB  - Springer Verlag
KW  - Interactive Systems
N1  - Includes Author Index
ER  -