Complutense University Library

IndexAuthor

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 1.

García Merayo, Mercedes and Andrés Sánchez, César and Núñez García, Manuel (2008) Passive Testing of Timed Systems. In Automated Technology for Verification and Analysis. Lecture Notes in Computer Science (5311). SPRINGER-VERLAG BERLIN, Berlín, pp. 418-427. ISBN 978-3-540-88386-9

This list was generated on Sun May 24 03:22:57 2015 CEST.