TY  - BOOK
AU  - Wieringa,R J
TI  - DESIGN METHODS FOR REACTIVE SYSTEMS
SN  - 1558607552
U1  - 005.1 
PY  - 2003///
CY  - 
PB  - Morgan Kaufmann, San Diego
KW  - Computer Software -- Development
KW  - System Design
ER  -