BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-243366, author = {Konnov, Igor and Veith, Helmut and Widder, Josef}, title = {SMT and POR beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms}, booktitle = {Computer Aided Verification}, year = {2015}, pages = {85--102}, publisher = {LNCS Springer}, address = {9206}, isbn = {978-3-319-21689-8}, doi = {10.1007/978-3-319-21690-4{\_}6}, note = {talk: International Conference on Computer Aided Verification (CAV), San Francisco, CA, USA; 2015-07-18 -- 2015-07-24} } 1 Datensatz ausgegeben