FFM_RV_2009

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier. Runtime Verification of Safety-Progress Properties. In Workshop on Runtime Verification (RV 2009), Pages 40-59, 2009.

Contact

Ylies Falcone

BibTex Reference

@InProceedings{FFM_RV_2009,
   Author = {Falcone, Yliès and Fernandez, Jean-Claude and Mounier, Laurent},
   Title = {{R}untime {V}erification of {S}afety-{P}rogress {P}roperties},
   BookTitle = {{W}orkshop on {R}untime {V}erification ({RV} 2009)},
   Pages = {40--59},
   Year = {2009}
}

EndNote Reference [help]

Get EndNote Reference (.ref)