Sciweavers

9888 search results - page 136 / 1978
» compute 2009
Sort
View
138
Voted
FCT
2009
Springer
16 years 1 months ago
Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL
Michael Huth, Nir Piterman, Daniel Wagner
118
Voted
FCT
2009
Springer
16 years 1 months ago
Depletable Channels: Dynamics and Behaviour
Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
FCT
2009
Springer
16 years 1 months ago
Earliest Query Answering for Deterministic Nested Word Automata
Olivier Gauwin, Joachim Niehren, Sophie Tison