![]() | ![]() |
2008 | ||
---|---|---|
1 | EE | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. LPAR 2008: 590-604 |
1 | Davide Bresolin | [1] |
2 | Valentin Goranko | [1] |
3 | Angelo Montanari | [1] |
4 | Guido Sciavicco | [1] |