%0 Conference Paper %1 KaiserKroeningWahl10DynamicCutoffDetection %A Kaiser, Alexander %A Kroening, Daniel %A Wahl, Thomas %B Proceedings of CAV %D 2010 %I Springer %K cutoff finite_state parameterized verification %T Dynamic Cutoff Detection in Parameterized Concurrent Programs

@inproceedings{KaiserKroeningWahl10DynamicCutoffDetection, added-at = {2010-05-05T17:20:00.000+0200}, author = {Kaiser, Alexander and Kroening, Daniel and Wahl, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2f3c4c6c543027b0b2eb41e69fa0fa18e/giuliano.losa}, booktitle = { Proceedings of CAV }, interhash = {bca2d6aa5f3a8b51a77860968a3e1ff9}, intrahash = {f3c4c6c543027b0b2eb41e69fa0fa18e}, keywords = {cutoff finite_state parameterized verification}, note = { To appear. }, publisher = { Springer }, timestamp = {2010-05-05T17:20:00.000+0200}, title = {Dynamic Cutoff Detection in Parameterized Concurrent Programs}, year = { 2010 } }