Searching for "Classifying Discrete Temporal Properties." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Classifying Discrete Temporal Properties
by Thomas Wilke — 1999 — Proceedings of the 16th Annual Symposium on Theoretical Aspects of Computer Science (STACS 99), Lecture Notes in Computer Science 1563, Springer-Verlag
…/ 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
by Edmund M. Clarke, Ursula Goltz, Peter Niebert, Wojciech Penczek (Eds.), Wojciech Penczek
…. Classifying discrete temporal properties. In Chr. Meinel and S. Tison, editors, Proceedings of the 16th…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB