%0 Conference Paper %1 conf/hvc/BensalemPQTZ07 %A Bensalem, Saddek %A Peled, Doron A. %A Qu, Hongyang %A Tripakis, Stavros %A Zuck, Lenore D. %B Haifa Verification Conference %D 2007 %E Yorav, Karen %I Springer %K dblp %P 120-135 %T Test Case Generation for Ultimately Periodic Paths. %U http://dblp.uni-trier.de/db/conf/hvc/hvc2007.html#BensalemPQTZ07 %V 4899 %@ 978-3-540-77964-3

@inproceedings{conf/hvc/BensalemPQTZ07, added-at = {2018-11-02T00:00:00.000+0100}, author = {Bensalem, Saddek and Peled, Doron A. and Qu, Hongyang and Tripakis, Stavros and Zuck, Lenore D.}, biburl = {https://www.bibsonomy.org/bibtex/2b68454afbecffb3c67f109abb8663fcc/dblp}, booktitle = {Haifa Verification Conference}, crossref = {conf/hvc/2007}, editor = {Yorav, Karen}, ee = {https://doi.org/10.1007/978-3-540-77966-7_12}, interhash = {9f18dda4093ce2ce16f3a09750c0089c}, intrahash = {b68454afbecffb3c67f109abb8663fcc}, isbn = {978-3-540-77964-3}, keywords = {dblp}, pages = {120-135}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:06:33.000+0200}, title = {Test Case Generation for Ultimately Periodic Paths.}, url = {http://dblp.uni-trier.de/db/conf/hvc/hvc2007.html#BensalemPQTZ07}, volume = 4899, year = 2007 }