%0 Conference Paper %1 conf/pts/SimaoP08 %A da Silva Simão, Adenilso %A Petrenko, Alexandre %B TestCom/FATES %D 2008 %E Suzuki, Kenji %E Higashino, Teruo %E Ulrich, Andreas %E Hasegawa, Toru %I Springer %K dblp %P 153-168 %T Generating Checking Sequences for Partial Reduced Finite State Machines. %U http://dblp.uni-trier.de/db/conf/pts/testcom2008.html#SimaoP08 %V 5047 %@ 978-3-540-68514-2

@inproceedings{conf/pts/SimaoP08, added-at = {2020-06-15T00:00:00.000+0200}, author = {da Silva Simão, Adenilso and Petrenko, Alexandre}, biburl = {https://www.bibsonomy.org/bibtex/2d729cc460e1388916b59ce611b2c2610/dblp}, booktitle = {TestCom/FATES}, crossref = {conf/pts/2008}, editor = {Suzuki, Kenji and Higashino, Teruo and Ulrich, Andreas and Hasegawa, Toru}, ee = {https://doi.org/10.1007/978-3-540-68524-1_12}, interhash = {e41cf5d7a5364a90bcfa56de90916219}, intrahash = {d729cc460e1388916b59ce611b2c2610}, isbn = {978-3-540-68514-2}, keywords = {dblp}, pages = {153-168}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-06-16T12:27:56.000+0200}, title = {Generating Checking Sequences for Partial Reduced Finite State Machines.}, url = {http://dblp.uni-trier.de/db/conf/pts/testcom2008.html#SimaoP08}, volume = 5047, year = 2008 }