%0 Conference Paper %1 conf/icst/SimaoP09 %A da Silva Simão, Adenilso %A Petrenko, Alexandre %B ICST Workshops %D 2009 %I IEEE Computer Society %K dblp %P 48-56 %T Checking Sequence Generation Using State Distinguishing Subsequences. %U http://dblp.uni-trier.de/db/conf/icst/icstw2009.html#SimaoP09 %@ 978-0-7695-3671-2

@inproceedings{conf/icst/SimaoP09, added-at = {2023-03-23T00:00:00.000+0100}, author = {da Silva Simão, Adenilso and Petrenko, Alexandre}, biburl = {https://www.bibsonomy.org/bibtex/252a034942022a879eab03bff561896cd/dblp}, booktitle = {ICST Workshops}, crossref = {conf/icst/2009w}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICSTW.2009.25}, interhash = {6319cb166e15dd0a3c757bd4abf73e97}, intrahash = {52a034942022a879eab03bff561896cd}, isbn = {978-0-7695-3671-2}, keywords = {dblp}, pages = {48-56}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:17:16.000+0200}, title = {Checking Sequence Generation Using State Distinguishing Subsequences.}, url = {http://dblp.uni-trier.de/db/conf/icst/icstw2009.html#SimaoP09}, year = 2009 }