TY  - BOOK
AU  - Arnold,A.
AU  - Bégay,Didier
AU  - Crubillé,Paul
TI  - Construction and analysis of transition systems with MEC
SN  - 9810219229
AV  - QA76.76.D47 A76 1994
PY  - 1994///
CY  - Singapore, River Edge, NJ
PB  - World Scientific
KW  - Computer software
KW  - Development
KW  - Software engineering
N1  - Includes bibliographical references (p. 187-189) and index
ER  -