Sciweavers

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