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 '		Publications 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 '

2009

• B. Buchberger, M. Affenzeller, A. Ferscha, M. Haller, T. Jebelean, E.P. Klement, P. Paule, G. Pomberger, W. Schreiner, R. Stubenrauch, R. Wagner, G. Weiß, W. Windsteiger (ed.). Hagenberg Research. 2009. Springer Dordrecht Heidelberg London New York, ISBN 978-3-642-02126-8. [url] [bib]

---

webmaster