%0 Conference Paper %1 conf/vstte/Even-MendozaAHC18 %A Even-Mendoza, Karine %A Asadi, Sepideh %A Hyvärinen, Antti E. J. %A Chockler, Hana %A Sharygina, Natasha %B VSTTE %D 2018 %E Piskac, Ruzica %E Rümmer, Philipp %I Springer %K dblp %P 50-68 %T Lattice-Based Refinement in Bounded Model Checking. %U http://dblp.uni-trier.de/db/conf/vstte/vstte2018.html#Even-MendozaAHC18 %V 11294 %@ 978-3-030-03592-1

@inproceedings{conf/vstte/Even-MendozaAHC18, added-at = {2023-03-21T00:00:00.000+0100}, author = {Even-Mendoza, Karine and Asadi, Sepideh and Hyvärinen, Antti E. J. and Chockler, Hana and Sharygina, Natasha}, biburl = {https://www.bibsonomy.org/bibtex/223c746ec14617c51d4a980a1c14213cb/dblp}, booktitle = {VSTTE}, crossref = {conf/vstte/2018}, editor = {Piskac, Ruzica and Rümmer, Philipp}, ee = {https://doi.org/10.1007/978-3-030-03592-1_4}, interhash = {ac2e9145a4a3907018e2100eafe658c2}, intrahash = {23c746ec14617c51d4a980a1c14213cb}, isbn = {978-3-030-03592-1}, keywords = {dblp}, pages = {50-68}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T12:19:18.000+0200}, title = {Lattice-Based Refinement in Bounded Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2018.html#Even-MendozaAHC18}, volume = 11294, year = 2018 }