Héctor Ruíz Barradas

	2006
5		Héctor Ruíz Barradas, Didier Bert: Propriétés dynamiques avec hypothèses d'équité en B événementiel. Technique et Science Informatiques 25(1): 73-102 (2006)
	2005
4		Héctor Ruíz Barradas, Didier Bert: A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions. IFM 2005: 327-346
3		Héctor Ruíz Barradas, Didier Bert: Proof obligations for specification and refinement of liveness properties under weak fairness CoRR abs/cs/0502046: (2005)
2		Héctor Ruíz Barradas, Didier Bert: A Fixpoint Semantics of Event Systems with and without Fairness Assumptions CoRR abs/cs/0512082: (2005)
	2002
1		Héctor Ruíz Barradas, Didier Bert: Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. IFM 2002: 360-379

Coauthor Index

1

Didier Bert

[1] [2] [3] [4] [5]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page