Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
# | Author/Editor | Year | Title | |||||
---|---|---|---|---|---|---|---|---|
4 |
| |||||||
42 |
| |||||||
9 |
| |||||||
1 |
| |||||||
429 |
| |||||||
8 |
| |||||||
2 |
| |||||||
Hoffmann, Jörg | 2005 | A Covering Problem for Hypercubes In: Proceedings of the 19th International Joint Conference on Artificial Intelligence, 579-580 | ||||||
Podelski, Andreas Wagner, Silke | 2007 | A Sound and Complete Proof Rule for Region Stability of Hybrid Systems In: Hybrid systems: computation and control : 10th International Conference, HSCC 2007, 750-753 | ||||||
176 |
| |||||||
2 |
| |||||||
19 |
| |||||||
39 |
| |||||||
26 |
| |||||||
9 |
| |||||||
1 |
| |||||||
11 |
| |||||||
4 |
| |||||||
782 |
|