Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}