[IEEE 2013 20th International Symposium on Temporal Representation and Reasoning (TIME) - Pensacola, FL (2013.09.26-2013.09.28)] 2013 20th International Symposium on Temporal Representation and Reasoning - Complexity of Model Checking over General Linear Time
French, Tim, McCabe-Dansted, John, Reynolds, MarkYear:
2013
Language:
english
DOI:
10.1109/time.2013.21
File:
PDF, 407 KB
english, 2013