Sciweavers

27 search results - page 1 / 6
» fct 2009
Sort
View
91
Voted
FCT
2009
Springer
14 years 11 months ago
Open Maps Bisimulations for Higher Dimensional Automata Models
Elena S. Oshevskaya
76
Voted
FCT
2009
Springer
15 years 7 months ago
Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL
Michael Huth, Nir Piterman, Daniel Wagner