Publikationen (6)
Publikationsjahr
Publikationstyp
Verification of Hybrid Systems based on Counterexample-Guided Abstraction Refinement. (2003)
Clarke, E.; Fehnker, A.; Han, Z.; Krogh, B.; Stursberg, O.; Theobald, M.
Aufsatz in einer FachzeitschriftVernetzung arbeitswissenschaftlicher Hochschullehre - Das E-Learning-Kooperationsprojekt Integral II (2003)
Schmidt, L.
Aufsatz in einer FachzeitschriftVernunft und Offenbahrung. Zum Gespräch von Cohen und Rosenzweig (2003)
Schmied-Kowarzik, W.
Aufsatz in einer FachzeitschriftVibrationally resolved band profiles for autoioniosation of NO (c³Π) nlλ (vR = 0) Rydberg states into NO⁺ A¹Π (vi = 0, 1, 2) vibronic levels (2003)
Ehresmann, A.; Liebel, H.; von Kröger, M.; Schmoranzer, H.
Aufsatz in einer FachzeitschriftVoluntary animal welfare assessment of mass-produced farm animal housing equipment using a standardised procedure (2003)
Knierim, U.; Zerbe, F.; v. Borell, E.; Sachser, N.; Rauch, H.; Müller, c.; Herrmann, H.; Hesse, D.
Aufsatz in einer FachzeitschriftVom Genom zum Proteom: Kündigt sich ein Paradigmenwechsel an? (2003)
Köchy, K.
Aufsatz in einer Fachzeitschrift