C. Metzler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2003–2003
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | FDL | Exact Low-Level Runtime Analysis of Synchronous Programs for Formal Verification of Real-Time Systems. | George Logothetis, Klaus Schneider, C. Metzler |
| 2003 | RTSS | Generating Formal Models for Real-Time Verification by Exact Low-Level Runtime Analysis of Synchronous Programs. | George Logothetis, Klaus Schneider, C. Metzler |