Friedrich H. Vogt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1983–1992
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1992 | FORTE | Design of a formal Estelle semantics for verification. | Jan Bredereke, Reinhard Gotzhein, Friedrich H. Vogt |
| 1991 | GI | Praktischer Einsatz und Weiterentwicklung von Estelle. | Caroline Andrae, Jan Bredereke, C. Hille, D. Peter, T. Reimer, U. Schler, Reinhard Gotzhein, Friedrich H. Vogt |
| 1983 | PODC | An Interval Logic for Higher-Level Temporal Reasoning. | Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt |