%0 Conference Paper %1 conf/icst/MilewiczP17 %A Milewicz, Reed %A Pirkelbauer, Peter %B ICST %D 2017 %I IEEE Computer Society %K dblp %P 442-447 %T Ariadne: Hybridizing Directed Model Checking and Static Analysis. %U http://dblp.uni-trier.de/db/conf/icst/icst2017.html#MilewiczP17 %@ 978-1-5090-6031-3

@inproceedings{conf/icst/MilewiczP17, added-at = {2017-06-14T00:00:00.000+0200}, author = {Milewicz, Reed and Pirkelbauer, Peter}, biburl = {https://www.bibsonomy.org/bibtex/2f52bcba9f075db2617fc9042e1355b2c/dblp}, booktitle = {ICST}, crossref = {conf/icst/2017}, ee = {https://doi.org/10.1109/ICST.2017.49}, interhash = {0e85d71c520fe5c6709c5df2eb9c4cfa}, intrahash = {f52bcba9f075db2617fc9042e1355b2c}, isbn = {978-1-5090-6031-3}, keywords = {dblp}, pages = {442-447}, publisher = {IEEE Computer Society}, timestamp = {2019-10-17T18:25:39.000+0200}, title = {Ariadne: Hybridizing Directed Model Checking and Static Analysis.}, url = {http://dblp.uni-trier.de/db/conf/icst/icst2017.html#MilewiczP17}, year = 2017 }