Found 6 Documents (Results 1–6)
Interval vs. point temporal logic model checking. An expressiveness comparison. (English) Zbl 1407.68283
Filter Results by …
all
top 5
Author
- Murano, Aniello (3)
- Bozzelli, Laura (2)
- Mogavero, Fabio (2)
- Montanari, Angelo (2)
- Perelli, Giuseppe (2)
- Peron, Adriano (2)
- Benerecetti, Massimo (1)
- Bouyer, Patricia (1)
- Dixon, Clare (1)
- Hustadt, Ullrich (1)
- Kupferman, Orna (1)
- Markey, Nicolas (1)
- Maubert, Bastien (1)
- Molinari, Alberto (1)
- Sala, Pietro (1)
- Vardi, Moshe Ya’akov (1)
- Zhang, Lan (1)
Volume
- 24, No. 3 (2023) (2)
- 20, No. 1 (2019) (1)
- 16, No. 3 (2015) (1)
- 15, No. 4 (2014) (1)
- 15, No. 1 (2014) (1)