Sciweavers

27 search results - page 1 / 6
» fct 2009
Sort
View
89
Voted
FCT
2009
Springer
14 years 10 months ago
Open Maps Bisimulations for Higher Dimensional Automata Models
Elena S. Oshevskaya
65
Voted
FCT
2009
Springer
15 years 7 months ago
On Convex Greedy Embedding Conjecture for 3-Connected Planar Graphs
Subhas Kumar Ghosh, Koushik Sinha
71
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