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 Wed Oct 1 03:09:50 2014 CEST.