RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @inproceedings{RISC5369,
    author = {David M. Cerna and Wolfgang Schreiner and Temur Kutsia},
    title = {{Predicting Space Requirements for a Stream Monitor Specification Language}},
    booktitle = {{Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings}},
    language = {english},
    pages = {135--151},
    publisher = {Springer International Publishing},
    isbn_issn = {978-3-319-46981-2},
    year = {2016},
    month = {September},
    editor = {Yliès Falcone and César Sánchez},
    refereed = {yes},
    length = {17},
    conferencename = {Runtime Verification},
    url = {http://dx.doi.org/10.1007/978-3-319-46982-9_9}
    }