Peter van Eijk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
1989–1997
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | TACAS | The Term Processor Generator | Peter van Eijk, Axel Belinfante, Henk Eertink, Henk Alblas |
| 1991 | FORTE | Tool Demonstration: The Lotosphere Integrated Tool Environment Lite. | Peter van Eijk |
| 1991 | FORTE | An Exercise in Protocol Synthesis. | Peter van Eijk, J. Schot |
| 1990 | FORTE | Design of the LOTOSPHERE Symbolic LOTOS Simulator. | Peter van Eijk, Henk Eertink |
| 1989 | FORTE | Tools for LOTOS Specification Style Transformation. | Peter van Eijk |