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] |