Martin Kronenburg

Publication Activity (10 Years)

Years Active: 1996-2000
Publications (10 Years): 0

Kaiserslautern University of Technology, Germany (PHD)

Education History

Kaiserslautern University of Technology, Germany

PHD

Publications

Martin Kronenburg, Christian Peper
Application of the FOREST Approach to the Light Control Case Study. J. Univers. Comput. Sci. 6 (7) (2000)
Stefan Queins, Gerhard Zimmermann, Martin Becker, Martin Kronenburg, Christian Peper, Rolf Merz, Jürgen Schäfer
The Light Control Case Study: Problem Description. J. Univers. Comput. Sci. 6 (7) (2000)
Reinhard Gotzhein, Martin Kronenburg, Christian Peper
Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern. FTRTFT (1998)
Jörg Denzinger, Martin Kronenburg, Stephan Schulz
DISCOUNT - A Distributed and Learning Equational Prover. J. Autom. Reason. 18 (2) (1997)
Christian Peper, Reinhard Gotzhein, Martin Kronenburg
A Generic Approach to the Formal Specification of Requirements. ICFEM (1997)
Jörg Denzinger, Martin Kronenburg
Planning for Distributed Theorem Proving: The Teamwork Approach. KI (1996)