Browse by Author

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 Sat May 25 02:44:01 2013 CEST.

Export as	RSS 2.0 RSS 1.0 Atom