%0 Conference Paper %1 conf/pts/PetrenkoS17 %A Petrenko, Alexandre %A da Silva Simão, Adenilso %B ICTSS %D 2017 %E Yevtushenko, Nina %E Cavalli, Ana Rosa %E Yenigün, Hüsnü %I Springer %K dblp %P 320-325 %T Generating Checking Sequences for User Defined Fault Models. %U http://dblp.uni-trier.de/db/conf/pts/ictss2017.html#PetrenkoS17 %V 10533 %@ 978-3-319-67549-7

@inproceedings{conf/pts/PetrenkoS17, added-at = {2020-06-15T00:00:00.000+0200}, author = {Petrenko, Alexandre and da Silva Simão, Adenilso}, biburl = {https://www.bibsonomy.org/bibtex/22c43fa71682ca53d26a68f68c8f53da7/dblp}, booktitle = {ICTSS}, crossref = {conf/pts/2017}, editor = {Yevtushenko, Nina and Cavalli, Ana Rosa and Yenigün, Hüsnü}, ee = {https://doi.org/10.1007/978-3-319-67549-7_20}, interhash = {b85ed3a9fc222838633b6f89348bd27f}, intrahash = {2c43fa71682ca53d26a68f68c8f53da7}, isbn = {978-3-319-67549-7}, keywords = {dblp}, pages = {320-325}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:04:13.000+0200}, title = {Generating Checking Sequences for User Defined Fault Models.}, url = {http://dblp.uni-trier.de/db/conf/pts/ictss2017.html#PetrenkoS17}, volume = 10533, year = 2017 }