DBLP:journals:fmsd:FalconeMFR11

Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier. Runtime enforcement monitors: composition, synthesis, and enforcement abilities. Formal Methods in System Design, 38(3):223-262, June 2011.

Contact

Ylies Falcone
Jean-Luc Richier

BibTex Reference

@article{DBLP:journals:fmsd:FalconeMFR11,
   Author = {Falcone, Yliès and Mounier, Laurent and Fernandez, Jean-Claude and Richier, Jean-Luc},
   Title = {Runtime enforcement monitors: composition, synthesis, and enforcement abilities},
   Journal = {Formal Methods in System Design},
   Volume = {38},
   Number = {3},
   Pages = {223--262},
   Publisher = {Springer},
   Month = {June},
   Year = {2011}
}

EndNote Reference [help]

Get EndNote Reference (.ref)