Article Dans Une Revue
Fundamenta Informaticae
Année : 2014
Benedikt Bollig : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01089524
Soumis le : lundi 1 décembre 2014-23:13:56
Dernière modification le : jeudi 31 août 2023-12:14:35
Dates et versions
Identifiants
- HAL Id : hal-01089524 , version 1
Citer
Sundararaman Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar. Distributed Timed Automata with Independently Evolving Clocks. Fundamenta Informaticae, 2014, 130 (4), pp.377-407. ⟨hal-01089524⟩
Collections
159
Consultations
0
Téléchargements