%0 Conference Paper %1 conf/cav/KaiserKW10 %A Kaiser, Alexander %A Kroening, Daniel %A Wahl, Thomas %B CAV %D 2010 %E Touili, Tayssir %E Cook, Byron %E Jackson, Paul B. %I Springer %K %P 645-659 %T Dynamic Cutoff Detection in Parameterized Concurrent Programs. %U http://dblp.uni-trier.de/db/conf/cav/cav2010.html#KaiserKW10 %V 6174 %@ 978-3-642-14294-9

@inproceedings{conf/cav/KaiserKW10, added-at = {2023-12-13T07:44:31.000+0100}, author = {Kaiser, Alexander and Kroening, Daniel and Wahl, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2c7e119b4ee33fa48c3c47f6d9ef7137d/admin}, booktitle = {CAV}, crossref = {conf/cav/2010}, editor = {Touili, Tayssir and Cook, Byron and Jackson, Paul B.}, ee = {https://doi.org/10.1007/978-3-642-14295-6_55}, interhash = {bca2d6aa5f3a8b51a77860968a3e1ff9}, intrahash = {c7e119b4ee33fa48c3c47f6d9ef7137d}, isbn = {978-3-642-14294-9}, keywords = {}, pages = {645-659}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T07:44:31.000+0100}, title = {Dynamic Cutoff Detection in Parameterized Concurrent Programs.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2010.html#KaiserKW10}, volume = 6174, year = 2010 }