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;
Online library catalogue of the TU Vienna:
Created from the Publication Database of the Vienna University of Technology.