TY  - BOOK
AU  - Nicolas Halbwachs, Lenore D. Zuck
TI  - Tools and Algorithms for the Construction and Analysis of Systems
SN  - 978-3-540-31980-1
PY  - 2005///
CY  - New York
PB  - Springer US
KW  - Computer Science
KW  - Logics and Meanings of Programs; Software Engineering; Computer Communication Networks; Algorithm Analysis and Problem Complexity
ER  -