TY  - BOOK
AU  - Aubry,Jean-Francois
AU  - Brinzei,Nicolae
TI  - Systems dependability assessment: modeling with graphs and finite state automata 
T2  - Risk management and dependability series
AV  - QA614.8 .A93 2015eb
U1  - 515.352 23
PY  - 2015///
CY  - London, [England], Hoboken, New Jersey
PB  - John Wiley & Sons, ISTE Limited
KW  - Invariant sets
KW  - System theory
KW  - Computational complexity
KW  - Electronic books
N1  - Includes bibliographical references and index
UR  - http://site.ebrary.com/lib/daystar/Doc?id=11017939
ER  -