CIC-02:vasco-29

H. Ruíz Barradas, D. Bert. Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. In Integrated Formal Methods (IFM 2002), Pages 360-379, Turku, May 2002.

Contact

Didier Bert

BibTex Reference

@InProceedings{CIC-02:vasco-29,
   Author = {Ruíz Barradas, H. and Bert, D.},
   Title = {{Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems}},
   BookTitle = {Integrated Formal Methods (IFM 2002)},
   Pages = {360--379},
   Publisher = {{LNCS 2335, Springer-Verlag}},
   Address = {Turku},
   Month = {May},
   Year = {2002}
}

EndNote Reference [help]

Get EndNote Reference (.ref)