%0 Conference Paper %1 conf/pts/PetrenkoS15 %A Petrenko, Alexandre %A da Silva Simão, Adenilso %B ICTSS %D 2015 %E El-Fakih, Khaled %E Barlas, Gerassimos D. %E Yevtushenko, Nina %I Springer %K dblp %P 3-18 %T Checking Experiments for Finite State Machines with Symbolic Inputs. %U http://dblp.uni-trier.de/db/conf/pts/ictss2015.html#PetrenkoS15 %V 9447 %@ 978-3-319-25944-4

@inproceedings{conf/pts/PetrenkoS15, added-at = {2023-07-27T00:00:00.000+0200}, author = {Petrenko, Alexandre and da Silva Simão, Adenilso}, biburl = {https://www.bibsonomy.org/bibtex/27ce326322f1637d16fa6f5aa84fad715/dblp}, booktitle = {ICTSS}, crossref = {conf/pts/2015}, editor = {El-Fakih, Khaled and Barlas, Gerassimos D. and Yevtushenko, Nina}, ee = {https://doi.org/10.1007/978-3-319-25945-1_1}, interhash = {c67b54f0ddc67a14059070fee98d04ff}, intrahash = {7ce326322f1637d16fa6f5aa84fad715}, isbn = {978-3-319-25944-4}, keywords = {dblp}, pages = {3-18}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:04:13.000+0200}, title = {Checking Experiments for Finite State Machines with Symbolic Inputs.}, url = {http://dblp.uni-trier.de/db/conf/pts/ictss2015.html#PetrenkoS15}, volume = 9447, year = 2015 }