Inproceedings,
Generating Checking Sequences for Nondeterministic Finite State Machines.
A. Petrenko, A. da Silva Simão, and N. Yevtushenko.ICST, page 310-319. IEEE Computer Society, (2012)
Meta data
- BibTeX key
- conf/icst/PetrenkoSY12
- entry type
- inproceedings
- booktitle
- ICST
- year
- 2012
- pages
- 310-319
- publisher
- IEEE Computer Society
- crossref
- conf/icst/2012
- ee
- https://doi.ieeecomputersociety.org/10.1109/ICST.2012.111
- isbn
- 978-1-4577-1906-6
- url
- http://dblp.uni-trier.de/db/conf/icst/icst2012.html#PetrenkoSY12
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/icst/PetrenkoSY12
%A Petrenko, Alexandre
%A da Silva Simão, Adenilso
%A Yevtushenko, Nina
%B ICST
%D 2012
%E Antoniol, Giuliano
%E Bertolino, Antonia
%E Labiche, Yvan
%I IEEE Computer Society
%K dblp
%P 310-319
%T Generating Checking Sequences for Nondeterministic Finite State Machines.
%U http://dblp.uni-trier.de/db/conf/icst/icst2012.html#PetrenkoSY12
%@ 978-1-4577-1906-6
@inproceedings{conf/icst/PetrenkoSY12,
added-at = {2023-03-23T00:00:00.000+0100},
author = {Petrenko, Alexandre and da Silva Simão, Adenilso and Yevtushenko, Nina},
biburl = {https://www.bibsonomy.org/bibtex/2dd4ea8871e6f4f3a9fc7ae863fdcb023/dblp},
booktitle = {ICST},
crossref = {conf/icst/2012},
editor = {Antoniol, Giuliano and Bertolino, Antonia and Labiche, Yvan},
ee = {https://doi.ieeecomputersociety.org/10.1109/ICST.2012.111},
interhash = {bfaa53daf2551d9185a2159d24fb5463},
intrahash = {dd4ea8871e6f4f3a9fc7ae863fdcb023},
isbn = {978-1-4577-1906-6},
keywords = {dblp},
pages = {310-319},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T18:23:03.000+0200},
title = {Generating Checking Sequences for Nondeterministic Finite State Machines.},
url = {http://dblp.uni-trier.de/db/conf/icst/icst2012.html#PetrenkoSY12},
year = 2012
}