Universidad Complutense de Madrid
E-Prints Complutense


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 (2007) Testing conformance on stochastic stream X-machines. In Software Engineering and Formal Methods : 5th International Conference, SEFM 2007. IEEE COMPUTER SOC, LOS ALAMITOS, pp. 227-236. ISBN 978-0-7695-2884-7

This list was generated on Sat Jul 11 23:23:04 2020 CEST.