Sciweavers

14704 search results - page 454 / 2941
» computing 2007
Sort
View
110
Voted
CONCUR
2007
Springer
15 years 11 months ago
The Saga of the Axiomatization of Parallel Composition
Luca Aceto, Anna Ingólfsdóttir
110
Voted
CONCUR
2007
Springer
15 years 11 months ago
Strategy Synthesis for Markov Decision Processes and Branching-Time Logics
Tomás Brázdil, Vojtech Forejt