CIC-05:vasco-26

Héctor Ruíz Barradas, Didier Bert. A Fixpoint Semantics of Event Systems with and without Fairness Assumptions. In IFM 2005 Conference, November 2005.

Contact

Didier Bert

BibTex Reference

@InProceedings{CIC-05:vasco-26,
   Author = {Ruíz Barradas, Héctor and Bert, Didier},
   Title = {{A Fixpoint Semantics of Event Systems with and without Fairness Assumptions}},
   BookTitle = {{IFM 2005 Conference}},
   Publisher = {LNCS, Springer-Verlag},
   Month = {November},
   Year = {2005}
}

EndNote Reference [help]

Get EndNote Reference (.ref)