Sciweavers

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