%0 Conference Paper %1 conf/cav/BatzCKKMS20 %A Batz, Kevin %A Chen, Mingshuai %A Kaminski, Benjamin Lucien %A Katoen, Joost-Pieter %A Matheja, Christoph %A Schröer, Philipp %B CAV (2) %D 2021 %E Silva, Alexandra %E Leino, K. Rustan M. %I Springer %K dblp %P 524-549 %T Latticed k-Induction with an Application to Probabilistic Programs. %U http://dblp.uni-trier.de/db/conf/cav/cav2021-2.html#BatzCKKMS20 %V 12760 %@ 978-3-030-81688-9

@inproceedings{conf/cav/BatzCKKMS20, added-at = {2021-07-29T00:00:00.000+0200}, author = {Batz, Kevin and Chen, Mingshuai and Kaminski, Benjamin Lucien and Katoen, Joost-Pieter and Matheja, Christoph and Schröer, Philipp}, biburl = {https://www.bibsonomy.org/bibtex/26b3be9b251ca42f0d08cdd829bd989af/dblp}, booktitle = {CAV (2)}, crossref = {conf/cav/2021-2}, editor = {Silva, Alexandra and Leino, K. Rustan M.}, ee = {https://doi.org/10.1007/978-3-030-81688-9_25}, interhash = {61ad0f0b031d61a7bdf4b1130664f796}, intrahash = {6b3be9b251ca42f0d08cdd829bd989af}, isbn = {978-3-030-81688-9}, keywords = {dblp}, pages = {524-549}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:16:38.000+0200}, title = {Latticed k-Induction with an Application to Probabilistic Programs.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2021-2.html#BatzCKKMS20}, volume = 12760, year = 2021 }