From quantity to quality
Lecture notes in computer science1997pp. 48–62
Citations Over TimeTop 10% of 1997 papers
Related Papers
- → Characterizing Kripke structures in temporal logic(1987)38 cited
- → A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking(2011)8 cited
- → Characterizing Kripke structures in temporal logic. Interim report(1987)1 cited
- Representing RCC relations in temporal logic(2015)
- Formal modelling and verification of multi-robot systems specified with temporal logic(2010)