Martin Kronenburg
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
1996–1997
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | ICFEM | A Generic Approach to the Formal Specification of Requirements. | Christian Peper, Reinhard Gotzhein, Martin Kronenburg |
| 1996 | KI | Planning for Distributed Theorem Proving: The Teamwork Approach. | Jrg Denzinger, Martin Kronenburg |