%0 Conference Paper %1 conf/fase/FedyukovichDHS15 %A Fedyukovich, Grigory %A D'Iddio, Andrea Callia %A Hyvärinen, Antti E. J. %A Sharygina, Natasha %B FASE %D 2015 %E Egyed, Alexander %E Schaefer, Ina %I Springer %K dblp %P 186-201 %T Symbolic Detection of Assertion Dependencies for Bounded Model Checking. %U http://dblp.uni-trier.de/db/conf/fase/fase2015.html#FedyukovichDHS15 %V 9033 %@ 978-3-662-46674-2

@inproceedings{conf/fase/FedyukovichDHS15, added-at = {2019-08-20T00:00:00.000+0200}, author = {Fedyukovich, Grigory and D'Iddio, Andrea Callia and Hyvärinen, Antti E. J. and Sharygina, Natasha}, biburl = {https://www.bibsonomy.org/bibtex/2a2b3d195d2523ec1b44ec16aefcffacd/dblp}, booktitle = {FASE}, crossref = {conf/fase/2015}, editor = {Egyed, Alexander and Schaefer, Ina}, ee = {https://doi.org/10.1007/978-3-662-46675-9_13}, interhash = {9f9dbebcd336d306d46f42380cf5e6b1}, intrahash = {a2b3d195d2523ec1b44ec16aefcffacd}, isbn = {978-3-662-46674-2}, keywords = {dblp}, pages = {186-201}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-21T12:18:33.000+0200}, title = {Symbolic Detection of Assertion Dependencies for Bounded Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/fase/fase2015.html#FedyukovichDHS15}, volume = 9033, year = 2015 }