E-Prints Complutense

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, 227-236 . ISBN 978-0-7695-2884-7