 |
|
|
|
| HAL : hal-00157685, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
| The Bulletin of the European Association for Theoretical Computer Science 83 (2004) 106-120 |
|
|
|
|
| Challenges in Timed Languages: From Applied Theory to Basic Theory |
|
|
| Eugene Asarin 1 |
|
|
| (06/2004) |
|
|
|
| Current state and perspectives of development of the theory of timed languages are analyzed. A large list of open problems is suggested. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'informatique Algorithmique : Fondements et Applications (LIAFA) |
|
|
|
CNRS : UMR7089 – Université Paris-Diderot - Paris VII |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Autre |
|
|
| timed automata – formal languages – open problems |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00157685, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00157685/fr/ | |
| oai:hal.archives-ouvertes.fr:hal-00157685_v1 | |
| Contributeur : Eugene Asarin | |
| Soumis le : Mardi 26 Juin 2007, 17:11:57 | |
| Dernière modification le : Mardi 26 Juin 2007, 21:24:14 | |
