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

@article{TUW-301840,
    author = {Bartocci, Ezio and Falcone, Ylies and Leucker, Martin},
    title = {Preface},
    booktitle = {Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday.},
    volume = {13065},
    year = {2021},
    pages = {1},
    publisher = {Springer, Lecture Notes in Computer Science},
    address = {Rhodes, Greece},
    isbn = {978-3-030-87348-6},
    doi = {10.1007/978-3-030-87348-6},
    note = {invited}
}


1 Datensatz ausgegeben