TY  - DATA
AU  - Graham,T.C.Nicholas
AU  - Palanque,Philippe
ED  - SpringerLink (Online service)
TI  - Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers 
T2  - Lecture Notes in Computer Science,
SN  - 9783540705697
AV  - QA76.9.I58 G73 2008
PY  - 2008///
CY  - Berlin, Heidelberg
PB  - Springer-Verlag Berlin Heidelberg
KW  - Sistemas interactivos de computador
UR  - http://dx.doi.org/10.1007/978-3-540-70569-7
ER  -