Sciweavers

2872 search results - page 177 / 575
» On (Omega-)Regular Model Checking
Sort
View
EPEW
2010
Springer
15 years 11 days ago
A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking
Lasse Jacobsen, Morten Jacobsen, Mikael H. M&oslas...
FMICS
2008
Springer
15 years 11 days ago
Local Quantitative LTL Model Checking
Jiri Barnat, Lubos Brim, Ivana Cerná, Milan...
FMICS
2008
Springer
15 years 11 days ago
Can Flash Memory Help in Model Checking?
Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian S...