Sciweavers

27 search results - page 1 / 6
» fct 2009
Sort
View
109
Voted
FCT
2009
Springer
15 years 1 months ago
Open Maps Bisimulations for Higher Dimensional Automata Models
Elena S. Oshevskaya
95
Voted
FCT
2009
Springer
15 years 10 months ago
On Convex Greedy Embedding Conjecture for 3-Connected Planar Graphs
Subhas Kumar Ghosh, Koushik Sinha
93
Voted
FCT
2009
Springer
15 years 10 months ago
Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL
Michael Huth, Nir Piterman, Daniel Wagner