Sciweavers

213 search results - page 4 / 43
» hybrid 2000
Sort
View
IGPL
2000
82views more  IGPL 2000»
13 years 7 months ago
The Computational Complexity of Hybrid Temporal Logics
Carlos Areces, Patrick Blackburn, Maarten Marx
JSCIC
2000
51views more  JSCIC 2000»
13 years 7 months ago
Explicit Hybrid Time Domain Solver for the Maxwell Equations in 3D
Fredrik Edelvik, Gunnar Ledfelt