Thomas H. Bredt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
1975–1976
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1976 | ICSE | Design and Verification of Real-Time Systems. | J. V. Phillips, Thomas H. Bredt |
| 1976 | ICSE | Verification of a Monitor Specification. | Ashok R. Saxena, Thomas H. Bredt |
| 1975 | SOSP | Error Resynchronization in Producer-Consumer Systems. | David L. Russell, Thomas H. Bredt |