Sciweavers

477 search results - page 5 / 96
» hybrid 2005
Sort
View
CSL
2005
Springer
15 years 3 months ago
On the Complexity of Hybrid Logics with Binders
Balder ten Cate, Massimo Franceschet
FORMATS
2005
Springer
15 years 3 months ago
Automatic Rectangular Refinement of Affine Hybrid Systems
Laurent Doyen, Thomas A. Henzinger, Jean-Fran&cced...
FROCOS
2005
Springer
15 years 3 months ago
Hybrid CSP Solving
Eric Monfroy, Frédéric Saubion, Tony...