MPI-INF Logo
Publications

MPI-INF RG1 Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
1
Show details for Zakharyaschev, Michael (ed.)Zakharyaschev, Michael (ed.)
3
Show details for Zangl, FabriceZangl, Fabrice
1
Show details for Zeller, Andreas (ed.)Zeller, Andreas (ed.)
2
Show details for Zengler, Christoph (ed.)Zengler, Christoph (ed.)
1
Hide details for Zhang, Wenhui (ed.)Zhang, Wenhui (ed.)
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
1
Show details for Zhang, ZhihaiZhang, Zhihai
1
Show details for Zhao, HantaoZhao, Hantao
2
Show details for Ziemann, JoergZiemann, Joerg
1
Show details for Zimmer, StephanZimmer, Stephan
841
Next Page