Article Dans Une Revue
Logical Methods in Computer Science
Année : 2012
Igor Walukiewicz : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00962246
Soumis le : jeudi 20 mars 2014-21:35:11
Dernière modification le : vendredi 24 mars 2023-14:52:58
Dates et versions
Identifiants
- HAL Id : hal-00962246 , version 1
- ARXIV : 1208.5909
- DOI : 10.2168/LMCS-8(3:18)2012
Citer
Pawel Parys, Igor Walukiewicz. Weak Alternating Timed Automata. Logical Methods in Computer Science, 2012, 8 (3), pp.1-27. ⟨10.2168/LMCS-8(3:18)2012⟩. ⟨hal-00962246⟩
Collections
41
Consultations
0
Téléchargements