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

@inproceedings{TUW-282749,
    author = {Bartocci, Ezio and Beyer, Dirk and Black, Paul and others},
    title = {TOOLympics 2019: An Overview of Competitions in Formal Methods},
    booktitle = {Proc. of Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS},
    year = {2019},
    pages = {3--24},
    address = {11429},
    url = {https://publik.tuwien.ac.at/files/publik_282749.pdf},
    doi = {10.1007/978-3-030-17502-3},
    note = {talk: Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS, Prague, Czech Republic; 2019-04-06 -- 2019-04-11}
}
@comment { WARNING: In the original publication record, the list of names in the field 'author' contains the addition 'et al.'! }


1 Datensatz ausgegeben