Searching for "Classifying Discrete Temporal Properties." – sorted by Relevance.
-
Classifying Discrete Temporal Properties
- / Abstract. This paper surveys recent results on the classication of discrete temporal properties, gives
- Cited by 24 (0 self) – Add To MetaCart
-
Temporal Logics for Distributed Systems - Paradigms And Algorithms
- . Classifying discrete temporal properties. In Chr. Meinel and S. Tison, editors, Proceedings of the 16th
- Add To MetaCart

