SAC14

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand. Runtime Enforcement of Regular Timed Properties. In 29th Symposium On Applied Computing (SAC 2014), Pages 1279-1286, 2014.

Contact

Ylies Falcone

Référence BibTex

@InProceedings{SAC14,
   Author = {Pinisetty, Srinivas and Falcone, Yliès and Jéron, Thierry and Marchand, Hervé},
   Title = {Runtime Enforcement of Regular Timed Properties},
   BookTitle = {29th Symposium On Applied Computing (SAC 2014)},
   Pages = {1279--1286},
   Year = {2014}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)