TY  - BOOK
AU  - Esparza,Javier
AU  - Majumdar,Rupak
ED  - TACAS 2010
ED  - SpringerLink (Online service)
TI  - Tools and algorithms for the construction and analysis of systems: 16th international conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings 
SN  - 9783642120022 (electronic bk.)
AV  - QA76.9.S88 T33 2010
U1  - 004.21 22
PY  - 2010///
CY  - Berlin, Heidelberg
PB  - Springer-Verlag Berlin Heidelberg
KW  - System design
KW  - Congresses
KW  - System analysis
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-642-12002-2
ER  -