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, Novembre 2005.

Contact

Didier Bert

Référence BibTex

@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}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)