Sciweavers

DC
1998

Model Checking for a Probabilistic Branching Time Logic with Fairness

13 years 11 months ago
Model Checking for a Probabilistic Branching Time Logic with Fairness
Christel Baier, Marta Z. Kwiatkowska
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 1998
Where DC
Authors Christel Baier, Marta Z. Kwiatkowska
Comments (0)