Peter van Eijk

1997
8		Peter van Eijk, Axel Belinfante, Henk Eertink, Henk Alblas: The Term Processor Generator Kimwitu. TACAS 1997: 96-111
1991
7		Peter van Eijk, J. Schot: An Exercise in Protocol Synthesis. FORTE 1991: 117-131
6		Peter van Eijk: Tool Demonstration: The Lotosphere Integrated Tool Environment Lite. FORTE 1991: 471-474
1990
5		Peter van Eijk, Henk Eertink: Design of the LOTOSPHERE Symbolic LOTOS Simulator. FORTE 1990: 577-580
4		Peter van Eijk, Harro Kremer, Marten van Sinderen: On the use of specification styles for automated protocol implementation from LOTOS to C. PSTV 1990: 157-168
3		Peter van Eijk: Attribute Grammar Applications in Prototyping LOTOS Tools. WAGA 1990: 91-100
1989
2		Peter van Eijk: Tools for LOTOS Specification Style Transformation. FORTE 1989: 43-51
1		Peter van Eijk: LOTOS Tools Based on the Cornell Synthesizer Generator. PSTV 1989: 275-286

Coauthor Index

1	Henk Alblas	[8]
2	Axel Belinfante	[8]
3	Henk Eertink	[5] [8]
4	Harro Kremer	[4]
5	J. Schot	[7]
6	Marten van Sinderen	[4]

Colors in the list of coauthors