Model checking for extended timed temporal logics
Lecture notes in computer science1996pp. 306–326
Citations Over TimeTop 24% of 1996 papers
Related Papers
- → A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking(2011)8 cited
- → A resolution method for CTL branching-time temporal logic(2002)18 cited
- → A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking(2011)2 cited
- → Characterizing Kripke structures in temporal logic. Interim report(1987)1 cited
- Representing RCC relations in temporal logic(2015)