Souad Guellati, Ilham Kitouni, Riadh Matmat, Djamel-Eddine Saïdouni. Timed Automata with Action Durations - From Theory to Implementation. In Giedre Dregvaite, Robertas Damasevicius, editors, Information and Software Technologies - 20th International Conference, ICIST 2014, Druskininkai, Lithuania, October 9-10, 2014. Proceedings. Volume 465 of Communications in Computer and Information Science, pages 94-109, Springer, 2014. [doi]
Abstract is missing.