Biblio

Found 1 results
Filters: Keyword is LTL  [Clear All Filters]
2012
Benedikt Bollig, Decker, N. & Leucker, M., 2012. Frequency Linear-time Temporal Logic. In Sixth IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2012). Sixth IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2012). Beijing, China: IEEE Computer Society.