|
Journals in DBLP
Acta Inf. 2007, volume: 43, number: 7
- Ernst-Rüdiger Olderog, Anders P. Ravn
Editorial: Hybrid Systems. [Citation Graph (0, 0)][DBLP] Acta Inf., 2007, v:43, n:7, pp:449-450 [Journal]
- Eugene Asarin, Thao Dang, Antoine Girard
Hybridization methods for the analysis of nonlinear systems. [Citation Graph (0, 0)][DBLP] Acta Inf., 2007, v:43, n:7, pp:451-476 [Journal]
- Paulo Tabuada
Symbolic models for control systems. [Citation Graph (0, 0)][DBLP] Acta Inf., 2007, v:43, n:7, pp:477-500 [Journal]
- Rafael Wisniewski, Martin Raussen
Geometric analysis of nondeterminacy in dynamical systems. [Citation Graph (0, 0)][DBLP] Acta Inf., 2007, v:43, n:7, pp:501-519 [Journal]
|