Sciweavers

2252 search results - page 35 / 451
» Regular expression patterns
Sort
View
QEST
2008
IEEE
15 years 6 months ago
Regular Expressions for PCTL Counterexamples
Berteun Damman, Tingting Han, Joost-Pieter Katoen
IFL
2007
Springer
110views Formal Methods» more  IFL 2007»
15 years 6 months ago
XHaskell - Adding Regular Expression Types to Haskell
Martin Sulzmann, Kenny Zhuo Ming Lu