%0 Conference Paper %1 conf/sefm/MerayoHN08 %A Merayo, Mercedes G. %A Hierons, Robert M. %A Núñez, Manuel %B SEFM %D 2008 %E Cerone, Antonio %E Gruner, Stefan %I IEEE Computer Society %K dblp %P 201-210 %T Extending Stream X-Machines to Specify and Test Systems with Timeouts. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2008.html#MerayoHN08 %@ 978-0-7695-3437-4

@inproceedings{conf/sefm/MerayoHN08, added-at = {2023-03-24T00:00:00.000+0100}, author = {Merayo, Mercedes G. and Hierons, Robert M. and Núñez, Manuel}, biburl = {https://www.bibsonomy.org/bibtex/2d623977c0a1ee3d4b59e69bba4bf1def/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2008}, editor = {Cerone, Antonio and Gruner, Stefan}, ee = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2008.15}, interhash = {4d2ec08325d8c955f8f21ce863d00c93}, intrahash = {d623977c0a1ee3d4b59e69bba4bf1def}, isbn = {978-0-7695-3437-4}, keywords = {dblp}, pages = {201-210}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:21:29.000+0200}, title = {Extending Stream X-Machines to Specify and Test Systems with Timeouts.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2008.html#MerayoHN08}, year = 2008 }