PinisettyFJMRN12

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo. Runtime Enforcement of Timed Properties. In Third International Conference on Runtime Verification, RV 2012, Pages 229-244, 2013.

Contact

Ylies Falcone

BibTex Reference

@InProceedings{PinisettyFJMRN12,
   Author = {Pinisetty, Srinivas and Falcone, Yliès and Jéron, Thierry and Marchand, Hervé and Rollet, Antoine and Landry Nguena-Timo, Omer},
   Title = {{R}untime {E}nforcement of {T}imed {P}roperties},
   BookTitle = {{T}hird {I}nternational {C}onference on {R}untime {V}erification, {RV} 2012},
   Pages = {229--244},
   Year = {2013}
}

EndNote Reference [help]

Get EndNote Reference (.ref)