-
Selection by year
-
Selection by authors
-
Complete lists
lecoent:hal-01860379
A. Le Coent, L. Fribourg, N. Markey, F. De Vuyst, L. Chamoin. Compositional synthesis of state-dependent switching control. Theoretical Computer Science, 750:53-68, November 2018.
Contact
Nicolas Markey http://people.rennes.inria.fr/Nicolas.Markey/
BibTex Reference
@article{lecoent:hal-01860379,
Author = {Le Coent, A. and Fribourg, L. and Markey, N. and De Vuyst, F. and Chamoin, L.},
Title = {{Compositional synthesis of state-dependent switching control}},
Journal = {{Theoretical Computer Science}},
Volume = {750},
Pages = {53--68},
Publisher = {{Elsevier}},
Month = {November},
Year = {2018}
}
EndNote Reference [help]
Get EndNote Reference (.ref)