Contributions to Books:

M. Samer, H. Veith:
"From Temporal Logic Queries to Vacuity Detection";
in: "Verification of Infinite-State Systems with Applications to Security", E. Clarke et al. (ed.); issued by: NATO Security through Science Series D: Information and Communication Security; IOS Press, 2006, (invited), ISBN: 1-58603-570-3, 149 - 167.

Online library catalogue of the TU Vienna:

Created from the Publication Database of the Vienna University of Technology.