@techreport{,
    author = {Bokor, Péter; Kinder, Johannes; Serafini, Marco; Suri, Neeraj},
    title = {Efficient model checking of fault-tolerant distributed protocols},
    editor = {},
    booktitle = {},
    series = {},
    journal = {},
    address = {},
    publisher = {Technische Universität Darmstadt},
    edition = {},
    year = {2011},
    isbn = {},
    volume = {},
    number =  {TR-TUD-DEEDS-01-01-2011},
    pages = {},
    url = {},
    doi = {},
    keywords = {},
    abstract = {},
    note = {},
    
    
    
}