@inproceedings{,
    author = {Bokor, Péter; Kinder, Johannes; Serafini, Marco; Suri, Neeraj},
    title = {Efficient model checking of fault-tolerant distributed protocols},
    editor = {},
    booktitle = {2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN)},
    series = {},
    journal = {},
    address = {Piscataway},
    publisher = {IEEE},
    edition = {},
    year = {2011},
    isbn = {978-1-4244-9233-6 ; 978-1-4244-9232-9 ; 978-1-4244-9231-2},
    volume = {},
    number =  {},
    pages = {73-84},
    url = {},
    doi = {10.1109/DSN.2011.5958208},
    keywords = {},
    abstract = {},
    note = {},
    
    
    
}