| |
| 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 | |
| 1988 | ||
| 1 | Jeroen van de Lagemaat, Giuseppe Scollo: On the Use of LOTOS for the Formal Description of a Transport Protocol. FORTE 1988: 247-261 | |
| 1 | Harro Kremer | [2] |
| 2 | Axel Rennoch | [2] |
| 3 | Giuseppe Scollo | [1] [2] |