%0 Conference Paper %1 conf/vmcai/SchindlerJ18 %A Schindler, Tanja %A Jovanovic, Dejan %B VMCAI %D 2018 %E Dillig, Isil %E Palsberg, Jens %I Springer %K dblp %P 495-515 %T Selfless Interpolation for Infinite-State Model Checking. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2018.html#SchindlerJ18 %V 10747 %@ 978-3-319-73721-8

@inproceedings{conf/vmcai/SchindlerJ18, added-at = {2023-03-21T00:00:00.000+0100}, author = {Schindler, Tanja and Jovanovic, Dejan}, biburl = {https://www.bibsonomy.org/bibtex/2c8ee530af4ae5467a30745a5b8adcc66/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2018}, editor = {Dillig, Isil and Palsberg, Jens}, ee = {https://doi.org/10.1007/978-3-319-73721-8_23}, interhash = {d2c434e521094984d24cb89ccbecb946}, intrahash = {c8ee530af4ae5467a30745a5b8adcc66}, isbn = {978-3-319-73721-8}, keywords = {dblp}, pages = {495-515}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T11:52:11.000+0200}, title = {Selfless Interpolation for Infinite-State Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2018.html#SchindlerJ18}, volume = 10747, year = 2018 }