TY  - BOOK
AU  - Graf,Susanne
AU  - SchwartzbachMichael
ED  - TACAS'2000
TI  - Tools and algorithms for the construction and analysis of systems: 6th International Conference, TACAS'2000 : held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, march/april 2000 : proceedings 
T2  - Lecture notes in computer science,
SN  - 3540672826
AV  - QA76.9S88 I58 2000
PY  - 2000///
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
ER  -