Article Dans Une Revue
Theoretical Computer Science
Année : 2018
Ludovic Chamoin : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01860379
Soumis le : jeudi 23 août 2018-12:34:54
Dernière modification le : samedi 27 avril 2024-03:13:08
Dates et versions
Licence
Identifiants
- HAL Id : hal-01860379 , version 1
- DOI : 10.1016/j.tcs.2018.01.021
Citer
Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian de Vuyst, Ludovic Chamoin. Compositional synthesis of state-dependent switching control. Theoretical Computer Science, 2018, 750, pp.53-68. ⟨10.1016/j.tcs.2018.01.021⟩. ⟨hal-01860379⟩
Collections
143
Consultations
0
Téléchargements