[IEEE 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) - Kongens Lyngby, Denmark (2016.10.17-2016.10.19)] 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) - Interval Temporal Logics Model Checking
Montanari, AngeloYear:
2016
Language:
english
DOI:
10.1109/TIME.2016.32
File:
PDF, 75 KB
english, 2016