TY  - BOOK
AU  - Margarita,Tiziana
AU  - Yi,Wang
ED  - TACAS'2001
TI  - Tools and algorithms for the construction and analysis of systems
T2  - Lecture notes in computer science,
SN  - 3540418652
AV  - QA76.9S88 I58 2001
PY  - 2001///
CY  - Berlin
PB  - Springer Verlag
KW  - Diseño de sistemas
KW  - Congresos
KW  - Software para computadora
KW  - Desarrollo
KW  - Procedimiento electronico de datos
KW  - Multiproceso
N1  - Subtitulo :7th International Conference, TACAS'2001 : held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, april 2-6, 2001, proceedings
ER  -