%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 }