%0 Conference Paper %1 conf/cav/ChakrabortyKSGH15 %A Chakraborty, Supratik %A Khasidashvili, Zurab %A Seger, Carl-Johan H. %A Gajavelly, Rajkumar %A Haldankar, Tanmay %A Chhatani, Dinesh %A Mistry, Rakesh %B CAV (2) %D 2015 %E Kroening, Daniel %E Pasareanu, Corina S. %I Springer %K dblp %P 128-143 %T Word-Level Symbolic Trajectory Evaluation. %U http://dblp.uni-trier.de/db/conf/cav/cav2015.html#ChakrabortyKSGH15 %V 9207 %@ 978-3-319-21667-6

@inproceedings{conf/cav/ChakrabortyKSGH15, added-at = {2023-09-30T00:00:00.000+0200}, author = {Chakraborty, Supratik and Khasidashvili, Zurab and Seger, Carl-Johan H. and Gajavelly, Rajkumar and Haldankar, Tanmay and Chhatani, Dinesh and Mistry, Rakesh}, biburl = {https://www.bibsonomy.org/bibtex/20c9dafbaa5fe04b910c13dd16dad8ab5/dblp}, booktitle = {CAV (2)}, crossref = {conf/cav/2015}, editor = {Kroening, Daniel and Pasareanu, Corina S.}, ee = {https://doi.org/10.1007/978-3-319-21668-3_8}, interhash = {9813e20c8947d17c1c4f5b5e5751d590}, intrahash = {0c9dafbaa5fe04b910c13dd16dad8ab5}, isbn = {978-3-319-21667-6}, keywords = {dblp}, pages = {128-143}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T12:36:19.000+0200}, title = {Word-Level Symbolic Trajectory Evaluation.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2015.html#ChakrabortyKSGH15}, volume = 9207, year = 2015 }