[IEEE 2013 20th International Symposium on Temporal Representation and Reasoning (TIME) - Pensacola, FL, USA (2013.09.26-2013.09.28)] 2013 20th International Symposium on Temporal Representation and Reasoning - A New Approach to Abstract Reachability State Space of Time Petri Nets
Klai, Kais, Aber, Naim, Petrucci, LaureYear:
2013
Language:
english
DOI:
10.1109/time.2013.22
File:
PDF, 387 KB
english, 2013