BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @article{TUW-273844, author = {Jaksic, Stefan and Bartocci, Ezio and Grosu, Radu and Nickovic, Dejan}, title = {An algebraic framework for runtime verification}, journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems}, year = {2018}, volume = {37}, number = {11}, pages = {2233--2243}, doi = {10.1109/TCAD.2018.2858460} } 1 Datensatz ausgegeben