%0 Conference Paper %1 conf/vmcai/HausmannLRZ20 %A Hausmann, Daniel %A Litak, Tadeusz %A Rauch, Christoph %A Zinner, Matthias %B VMCAI %D 2020 %E Beyer, Dirk %E Zufferey, Damien %I Springer %K dblp %P 248-269 %T Cheap CTL Compassion in NuSMV. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2020.html#HausmannLRZ20 %V 11990 %@ 978-3-030-39322-9

@inproceedings{conf/vmcai/HausmannLRZ20, added-at = {2021-04-09T00:00:00.000+0200}, author = {Hausmann, Daniel and Litak, Tadeusz and Rauch, Christoph and Zinner, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/27dcdab0ac1b9cedecaa096992a96e99d/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2020}, editor = {Beyer, Dirk and Zufferey, Damien}, ee = {https://doi.org/10.1007/978-3-030-39322-9_12}, interhash = {ab355078041dd76cc38b8aea40980d8a}, intrahash = {7dcdab0ac1b9cedecaa096992a96e99d}, isbn = {978-3-030-39322-9}, keywords = {dblp}, pages = {248-269}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T11:52:33.000+0200}, title = {Cheap CTL Compassion in NuSMV.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2020.html#HausmannLRZ20}, volume = 11990, year = 2020 }