COM-04:vasco-72

H. Ruíz Barradas, D. Bert. Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. 17ème Workshop on Algebraic Development Techniques, WADT'04, Barcelone, March 2004.

Contact

Didier Bert

BibTex Reference

@Misc{COM-04:vasco-72,
   Author = {Ruíz Barradas, H. and Bert, D.},
   Title = {{Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems}},
   BookTitle = {{17ème Workshop on Algebraic Development Techniques, WADT'04}},
   Address = {Barcelone},
   Month = {March},
   Year = {2004}
}

EndNote Reference [help]

Get EndNote Reference (.ref)