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:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC06586767
Created from the Publication Database of the Vienna University of Technology.