Publications Master Template
Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
 | Year | | Title | BibTeX cite key | |
|---|
 | van der Torre |
| |
|
| |
| van der Torre, Weydert |
| |
|
| |
| Veit |
| |
|
| |
| Vorobyov |
| |
|
| |
| Voronkov |
| |
|
| |
| 2007 | | Region Stability Proofs for Hybrid Systems
In: Formal Modelling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, 16 | PodelskiWagner03_2007 | |
|
| |
| Wang |
| |
|
| |
| Weidenbach, Afshordel, Brahm, Cohrs, Engel, Keen, Theobalt, Topić |
| |
| Weidenbach, Brahm, Hillenbrand, Keen, Theobalt, Topić |
| |
| Weidenbach, Gaede, Rock |
| |
| Weidenbach, Meyer, Cohrs, Engel, Keen |
| |
| Werner, Bockmayr, Krischer |
| |
|
| |
| Weydert, Brewka, Witteveen (ed.) |
| |
|
| |
| Wies |
| |
| Wies, Kuncak, Lam, Podelski, Rinard |
| |
| Wu |
| |
|
| |
| Wu, Lu |
| |
|
| |
| Xia, Yang |
| |
| Yoshida, Bundy, Green, Walsh, Basin |
| |
| Yuan, Billington, Freiheit |
| |
|
| |
Previous Page |
Next Page |
Expand All |
Collapse All |
Search (Full Text)
