Michael Schenke
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1991–1999
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1999 | FORTE | Provably Correct Hardware Compilation using Timing Diagrams. | Michael Schenke, Michael Dossis |
| 1998 | MPC | A Unifying Framework for Correct Program Construction. | Henning Dierks, Michael Schenke |
| 1991 | FM | Specification and Stepwise Development of Communicating Systems. | Stephan Rssig, Michael Schenke |