George Mathew Kutty
University of California, Santa Barbara
Verifying pattern-generated LTL formulas: a case study
SPIN'05 Proceedings of the 12th international conference on Model Checking Software
Axiomatizations Of Interval Logics
Fundamenta Informaticae