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

@inproceedings{TUW-290985,
    author = {Bartocci, Ezio and Kovacs, Laura and Stankovic, Miroslav},
    title = {Mora - Automatic Generation of Moment-Based Invariants},
    booktitle = {Proc. of TACAS 2020: the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
    year = {2020},
    pages = {492--498},
    publisher = {Springer},
    address = {12078},
    isbn = {978-3-030-45189-9},
    doi = {10.1007/978-3-030-45190-5{\_}28},
    note = {talk: Proc. of TACAS 2020: the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Dublin, Ireland; 2020-04-25 -- 2020-04-30}
}


1 Datensatz ausgegeben