Sciweavers

41650 search results - page 238 / 8330
» Distribution of
Sort
View
CONCUR
2004
Springer
15 years 10 months ago
Timed vs. Time-Triggered Automata
Pavel Krcál, Leonid Mokrushin, P. S. Thiaga...
CONCUR
2006
Springer
15 years 10 months ago
Reachability in Recursive Markov Decision Processes
Tomás Brázdil, Václav Brozek,...
CONCUR
2006
Springer
15 years 10 months ago
Sortings for Reactive Systems
Lars Birkedal, Søren Debois, Thomas T. Hild...