Sciweavers

84 search results - page 3 / 17
» corr 2009
Sort
View
CORR
2009
Springer
78views Education» more  CORR 2009»
13 years 5 months ago
Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration
Luca Bortolussi, Alberto Policriti
CORR
2009
Springer
63views Education» more  CORR 2009»
13 years 5 months ago
Modal Logic and the Approximation Induction Principle
Maciej Gazda, Wan Fokkink