Publications (16)
Variability of CO2 and N2O emissions during freeze-thaw cycles: results of model experiments on undisturbed forest-soil cores (2004)
Ludwig, B.
Journal articleVeränderungen in der kommunalen Dienstleistungsproduktion durch ökonomische Steuerung (2004)
Ortmann, F.
Contribution in edited bookVerbessert nachhaltiges Wirtschaften den Shareholder Value? Eine empirische Analyse europäischer Aktiengesellschaften (2004)
Ziegler, A.; Rennings, K.; Schröder, M.
Contribution in edited bookVerbesserung des Meldeverfahrens im ADAC-Staumeldedienst durch Einsatz von Mobilfunktechnologien (2004)
Sommer, C.
Journal articleVergleichende Untersuchung zur Durchführbarkeit, Zuverlässigkeit und Aussagekraft verschiedener Methoden der Gefiederbeurteilung bei Legehennen (2004)
Schubbert, A.
MasterthesisVerification of a Cruise Control System using Counterexample-Guided Search. (2004)
Stursberg, O.; Fehnker, A.; Han, Z.; Krogh, B.
Journal articleVerification of PLC Programs given as Sequential Function Charts. (2004)
Bauer, N.; Engell, S.; Huuck, R.; Lohmann, S.; Lukoschus, B.; Remelhe, M.; Stursberg, O.
Journal articleVerifikation und Validierung: Motivation, Aufgaben und Herausforderungen (2004)
Rabe, M.; Junge, M.; Schmuck, T.; Wenzel, S.
Conference proceedings articleVertrauen (2004)
Eberl, P.
Contribution in edited bookVision 2030 Schwalm-Eder-West: Grundlagen der Zukunftsentwicklung (2004)
Hahne, U.; Blume, L.; Brörkens, H.
Authored book