Ron Koymans
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
1
Active years
1983–1987
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1987 | PODC | Specifying Message Passing Systems Requires Extending Temporal Logic. | Ron Koymans |
| 1983 | PODC | Real-Time Programming and Asynchronous Message Passing. | Ron Koymans, Jan Vytopil, Willem P. de Roever |