| 2000 |
|---|
| 6 | EE | Stefan Queins,
Gerhard Zimmermann,
Martin Becker,
Martin Kronenburg,
Christian Peper,
Rolf Merz,
Jürgen Schäfer:
The Light Control Case Study: Problem Description.
J. UCS 6(7): 586-596 (2000) |
| 5 | EE | Martin Kronenburg,
Christian Peper:
Application of the FOREST Approach to the Light Control Case Study.
J. UCS 6(7): 679-703 (2000) |
| 1998 |
|---|
| 4 | EE | Reinhard Gotzhein,
Martin Kronenburg,
Christian Peper:
Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern.
FTRTFT 1998: 65-74 |
| 1997 |
|---|
| 3 | | Christian Peper,
Reinhard Gotzhein,
Martin Kronenburg:
A Generic Approach to the Formal Specification of Requirements.
ICFEM 1997: 252- |
| 2 | | Jörg Denzinger,
Martin Kronenburg,
Stephan Schulz:
DISCOUNT - A Distributed and Learning Equational Prover.
J. Autom. Reasoning 18(2): 189-198 (1997) |
| 1996 |
|---|
| 1 | | Jörg Denzinger,
Martin Kronenburg:
Planning for Distributed Theorem Proving: The Teamwork Approach.
KI 1996: 43-56 |
