 | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page