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

@incollection{TUW-287627,
    author = {Legay, Axel and Lukina, Anna and Traonouez, Louis Marie and Yang, Junxing and Smolka, Scott A. and Grosu, Radu},
    title = {Statistical model checking},
    booktitle = {Computing and Software Science},
    year = {2019},
    pages = {478--504},
    publisher = {Springer LNCS}
}


1 Datensatz ausgegeben