![](/img/cover-not-exists.png)
[IEEE 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME) - L beck , Germany (2011.09.12-2011.09.14)] 2011 Eighteenth International Symposium on Temporal Representation and Reasoning - The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border
Bresolin, Davide, Monica, Dario Della, Goranko, Valentin, Montanari, Angelo, Sciavicco, GuidoYear:
2011
Language:
english
DOI:
10.1109/time.2011.21
File:
PDF, 259 KB
english, 2011