FalconeFM09b

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier. Runtime Verification of Safety-Progress Properties. In Runtime Verification, 9th International Workshop, RV 2009, Lecture Notes in Computer Science, Volume 5779, Pages 40-59, 2009.

Contact

Ylies Falcone

BibTex Reference

@InProceedings{FalconeFM09b,
   Author = {Falcone, Yliès and Fernandez, Jean-Claude and Mounier, Laurent},
   Title = {Runtime Verification of Safety-Progress Properties},
   BookTitle = {Runtime Verification, 9th International Workshop, RV 2009},
   Volume = {5779},
   Pages = {40--59},
   Series = {Lecture Notes in Computer Science},
   Year = {2009}
}

EndNote Reference [help]

Get EndNote Reference (.ref)