[IEEE 2010 17th International Symposium on Temporal Representation and Reasoning (TIME) - Paris, France (2010.09.6-2010.09.8)] 2010 17th International Symposium on Temporal Representation and Reasoning - A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata
Balaguer, Sandie, Chatain, Thomas, Haar, StefanYear:
2010
Language:
english
DOI:
10.1109/time.2010.12
File:
PDF, 390 KB
english, 2010