Timed Automata with Action Durations – From Theory to Implementation.
| Autor: | Guellati, Souad, Kitouni, Ilham, Matmat, Riadh, Saidouni, Djamel-Eddine |
|---|---|
| Zdroj: | Information & Software Technologies: 20th International Conference, ICIST 2014, Druskininkai, Lithuania, October 9-10, 2014. Proceedings; 2014, p94-109, 16p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|