1 |
| D'Agostino, Marcello (ed.) |
| |
| | 2006 | [Damm, Werner]
[Disch, Stefan]
[Hungar, Hardi]
[Pang, Jun]
[Pigorsch, Florian]
[Scholl, Christoph]
Waldmann, Uwe
[Wirtz, Boris] | [Graf, Susanne]
[Zhang, Wenhui] | | Automatic Verification of Hybrid Systems with Large Discrete State Space
In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, 276-291 | Proceedings Article | |
| | 2005 | [Damm, Werner]
Pinto, Guilherme
Ratschan, Stefan | [Peled, Doron A]
[Tsay, Yih-Kuen] | | Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems
In: Automated technology for verification and analysis : Third International Symposium, ATVA 2005, 99-113 | Proceedings Article | |
1 |
| De Giacomo, Giuseppe (ed.) |
| |