MPI-INF Logo
Publications

Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
1
Show details for D'Agostino, Marcello (ed.)D'Agostino, Marcello (ed.)
1
Show details for Dahl, Verónica (ed.)Dahl, Verónica (ed.)
1
Show details for Dahn, Ingo (ed.)Dahn, Ingo (ed.)
3
Show details for Dal Zilio, SilvanoDal Zilio, Silvano
2
Hide details for Damm, WernerDamm, Werner
2006[Damm, Werner]
[Disch, Stefan]
[Hungar, Hardi]
[Pang, Jun]
[Pigorsch, Florian]
[Scholl, Christoph]
Waldmann, Uwe
[Wirtz, Boris]		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		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
Show details for Danvy, Olivier (ed.)Danvy, Olivier (ed.)
1
Show details for Dauchet, Max (ed.)Dauchet, Max (ed.)
1
Show details for Daum, MatthiasDaum, Matthias
1
Show details for De Giacomo, Giuseppe (ed.)De Giacomo, Giuseppe (ed.)
1
Show details for de Leon, David (ed.)de Leon, David (ed.)
1
Show details for de Moor, Aldo (ed.)de Moor, Aldo (ed.)
26
Show details for de Nivelle, Hansde Nivelle, Hans
5
Show details for de Nivelle, Hans (ed.)de Nivelle, Hans (ed.)
1
Show details for de Raedt, Lucde Raedt, Luc
3
Show details for de Rijke, Maartende Rijke, Maarten
1
Show details for de Rijke, Maarten (ed.)de Rijke, Maarten (ed.)
1
Show details for de Rijke, M. (ed.)de Rijke, M. (ed.)
2
Show details for de Swart, Harrie (ed.)de Swart, Harrie (ed.)
2
Show details for Degtyarev, AnatoliDegtyarev, Anatoli
1
Show details for Delahaye, DavidDelahaye, David
1
Show details for Delgrande, Jim (ed.)Delgrande, Jim (ed.)
10
Show details for Delzanno, GiorgioDelzanno, Giorgio
3
Show details for Demri, StéphaneDemri, Stéphane
1
Show details for Dershowitz, Nachum (ed.)Dershowitz, Nachum (ed.)
1
Show details for Dershowitz, N. (ed.)Dershowitz, N. (ed.)
1
Show details for Deussen, P.Deussen, P.
1
Show details for Devienne, PhilippeDevienne, Philippe
1
Show details for Dierks, HenningDierks, Henning

Next Page