Sciweavers

QEST
2008
IEEE

Regular Expressions for PCTL Counterexamples

14 years 5 months ago
Regular Expressions for PCTL Counterexamples
Berteun Damman, Tingting Han, Joost-Pieter Katoen
Added 01 Jun 2010
Updated 01 Jun 2010
Type Conference
Year 2008
Where QEST
Authors Berteun Damman, Tingting Han, Joost-Pieter Katoen
Comments (0)