|
Journals in DBLP
- Thomas Stauner
Properties of Hybrid Systems-A Computer Science Perspective. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2004, v:24, n:3, pp:223-259 [Journal]
- Rajeev Alur, Sampath Kannan, Salvatore La Torre
Polyhedral Flows in Hybrid Automata. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2004, v:24, n:3, pp:261-280 [Journal]
- Patricia Bouyer
Forward Analysis of Updatable Timed Automata. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2004, v:24, n:3, pp:281-320 [Journal]
|