Sciweavers

17129 search results - page 384 / 3426
» Applied Computing
Sort
View
133
Voted
FCT
2005
Springer
16 years 8 days ago
On Approximating Real-World Halting Problems
Sven Köhler, Christian Schindelhauer, Martin ...
FOSSACS
2005
Springer
16 years 8 days ago
Model Checking Durational Probabilistic Systems
François Laroussinie, Jeremy Sproston
FOSSACS
2005
Springer
16 years 8 days ago
Alternating Timed Automata
Slawomir Lasota, Igor Walukiewicz