Sciweavers

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