Sciweavers

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