%0 Conference Paper %1 conf/vmcai/FrumkinFLPSS17 %A Frumkin, Asya %A Feldman, Yotam M. Y. %A Lhoták, Ondrej %A Padon, Oded %A Sagiv, Mooly %A Shoham, Sharon %B VMCAI %D 2017 %E Bouajjani, Ahmed %E Monniaux, David %I Springer %K dblp %P 209-227 %T Property Directed Reachability for Proving Absence of Concurrent Modification Errors. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2017.html#FrumkinFLPSS17 %V 10145 %@ 978-3-319-52233-3

@inproceedings{conf/vmcai/FrumkinFLPSS17, added-at = {2022-10-02T00:00:00.000+0200}, author = {Frumkin, Asya and Feldman, Yotam M. Y. and Lhoták, Ondrej and Padon, Oded and Sagiv, Mooly and Shoham, Sharon}, biburl = {https://www.bibsonomy.org/bibtex/2b21c85d871aeaa8c7d2d6ac6540af81e/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2017}, editor = {Bouajjani, Ahmed and Monniaux, David}, ee = {https://doi.org/10.1007/978-3-319-52234-0_12}, interhash = {2385b294ec22ecb5fc4b56176d96010b}, intrahash = {b21c85d871aeaa8c7d2d6ac6540af81e}, isbn = {978-3-319-52233-3}, keywords = {dblp}, pages = {209-227}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T00:33:11.000+0200}, title = {Property Directed Reachability for Proving Absence of Concurrent Modification Errors.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2017.html#FrumkinFLPSS17}, volume = 10145, year = 2017 }