RISC Publications		RISC Report Series		Search		Gröbner Bases Bibliography
Publications & Reports in the frame of project 'Efficient Checking of Time-Quantified Logic Formulas with Applications in Computer Security '		Technical Reports in the frame of project 'Efficient Checking of Time-Quantified Logic Formulas with Applications in Computer Security '		Talks in the frame of project 'Efficient Checking of Time-Quantified Logic Formulas with Applications in Computer Security '

RISC Publications in the frame of project 'Efficient Checking of Time-Quantified Logic Formulas with Applications in Computer Security '

2016

• David M. Cerna and Wolfgang Schreiner, Temur Kutsia. Predicting Space Requirements for a Stream Monitor Specification Language. In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, Yli{\`{e}}s Falcone and C{\'{e}}sar S{\'{a}}nchez (ed.), pp. 135-151. 2016. 978-3-319-46981-2. [doi] [bib]

---

webmaster