%0 Conference Paper %1 conf/cav/LiDPRV18 %A Li, Jianwen %A Dureja, Rohit %A Pu, Geguang %A Rozier, Kristin Yvonne %A Vardi, Moshe Y. %B CAV (2) %D 2018 %E Chockler, Hana %E Weissenbacher, Georg %I Springer %K dblp %P 37-44 %T SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability. %U http://dblp.uni-trier.de/db/conf/cav/cav2018-2.html#LiDPRV18 %V 10982 %@ 978-3-319-96142-2

@inproceedings{conf/cav/LiDPRV18, added-at = {2018-11-02T00:00:00.000+0100}, author = {Li, Jianwen and Dureja, Rohit and Pu, Geguang and Rozier, Kristin Yvonne and Vardi, Moshe Y.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/202fe59e11d4cdfe4bf84250f63335eaa/dblp}, booktitle = {CAV (2)}, crossref = {conf/cav/2018-2}, editor = {Chockler, Hana and Weissenbacher, Georg}, ee = {https://doi.org/10.1007/978-3-319-96142-2_5}, interhash = {49db00b4fef1f4c8a1fd7b594bc94680}, intrahash = {02fe59e11d4cdfe4bf84250f63335eaa}, isbn = {978-3-319-96142-2}, keywords = {dblp}, pages = {37-44}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T12:47:38.000+0200}, title = {SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2018-2.html#LiDPRV18}, volume = 10982, year = 2018 }