BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@inproceedings{TUW-223182,
    author = {John, Annu and Konnov, Igor and Schmid, Ulrich and Veith, Helmut and Widder, Josef},
    title = {Parameterized model checking of fault-tolerant distributed algorithms by abstraction},
    booktitle = {FMCAD},
    year = {2013},
    pages = {201--209},
    url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6679411},
    isbn = {978-0-9835678-3-7},
    note = {talk: International Conference on Formal Methods in Computer-Aided Design (FMCAD), Portland, OR, USA; 2013-10-20 -- 2013-10-23}
}


1 Datensatz ausgegeben