![]() |
| 1992 | ||
|---|---|---|
| 2 | Harro Kremer, Jeroen van de Lagemaat, Axel Rennoch, Giuseppe Scollo: Protocol design using LOTOS: A critical synthesis of a standardization experience. FORTE 1992: 231-246 | |
| 1990 | ||
| 1 | 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 | |
| 1 | Peter van Eijk | [1] |
| 2 | Jeroen van de Lagemaat | [2] |
| 3 | Axel Rennoch | [2] |
| 4 | Giuseppe Scollo | [2] |
| 5 | Marten van Sinderen | [1] |