Complutense University Library


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

García Merayo, Mercedes and Núñez García, Manuel and Rodríguez Laguna, Ismael (2007) Testing finite state machines presenting stochastic time and timeouts. In Formal Methods and Stochastic Models for Performance Evaluation. Lecture Notes in Computer Science (4748). SPRINGER-VERLAG BERLIN, Berlín, pp. 97-111. ISBN 978-3-540-75210-3

This list was generated on Tue Oct 13 03:17:23 2015 CEST.