AP-05:vasco-92

H. Ruíz Barradas, D. Bert. Proof obligations for specification and refinement of liveness properties under weak fairness. Rapport de Recherche LSR, February 2005.

Contact

Didier Bert

BibTex Reference

@TechReport{AP-05:vasco-92,
   Author = {Ruíz Barradas, H. and Bert, D.},
   Title = {{Proof obligations for specification and refinement of liveness properties under weak fairness}},
   Institution = {LSR},
   Month = {February},
   Year = {2005}
}

EndNote Reference [help]

Get EndNote Reference (.ref)