Sciweavers

Share
QEST
2008
IEEE

Regular Expressions for PCTL Counterexamples

9 years 4 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)
books