IndexAuthor

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 Sun Dec 4 03:30:21 2022 CET.