Harro Kremer

Publication Activity (10 Years)

Years Active: 1990-1992
Publications (10 Years): 0

Publications

Harro Kremer, Jeroen van de Lagemaat, Axel Rennoch, Giuseppe Scollo
Protocol design using LOTOS: A critical synthesis of a standardization experience. FORTE (1992)
Peter van Eijk, Harro Kremer, Marten van Sinderen
On the use of specification styles for automated protocol implementation from LOTOS to C. PSTV (1990)