Sciweavers

LPAR
2004
Springer

Reasoning About Systems with Transition Fairness

14 years 5 months ago
Reasoning About Systems with Transition Fairness
Benjamin Aminof, Thomas Ball, Orna Kupferman
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where LPAR
Authors Benjamin Aminof, Thomas Ball, Orna Kupferman
Comments (0)