TY  - BOOK
AU  - Walukiewicz,Igor
ED  - FOSSACS 2004
ED  - ETAPS 2004
TI  - Foundations of software science and computational structures: 7th International Conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings 
T2  - Lecture notes in computer science,
SN  - 3540212981
AV  - QA76.751 I57 2004
PY  - 2004///
CY  - Berlin
PB  - Springer Verlag
KW  - Software para computadora
KW  - Congresos
KW  - Análisis de sistemas
ER  -