Boris Wirtz Wissenschaftlicher Mitarbeiter

Boris Wirtz
Kontaktdaten

+49 441 9722-539

boris.wirtz(at)uni-oldenburg.de

O 118

OFFIS - Institut für Informatik
Escherweg 2
26121 Oldenburg

Publikationen
von Boris Wirtz

2006

Automatic verification of hybrid systems with large discrete state space

Damm, W. and Disch, S. and Hungar, H. and Pang, J. and Pigorsch, F. and Scholl, C. and Waldmann, U. and Wirtz, B.; Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06); 01 / 2006

BIB