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

@inproceedings{TUW-264443,
    author = {Aminof, Benjamin and Rubin, Sasha and Stoilkovska, Ilina and Widder, Josef and Zuleger, Florian},
    title = {Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction},
    booktitle = {VMCAI},
    year = {2018},
    pages = {1--24},
    publisher = {LNCS/Springer},
    address = {10747},
    url = {http://repositum.tuwien.ac.at/obvutwoa/2465907},
    doi = {10.1007/978-3-319-73721-8{\_}1},
    note = {talk: Verification, Model Checking, and Abstract Interpretation (VMCAI), Los Angeles; 2018-01-07 -- 2018-01-09}
}


1 Datensatz ausgegeben