Jeroen van de Lagemaat

According to our database, Jeroen van de Lagemaat authored at least 2 papers between 1988 and 1992.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1992

Protocol design using LOTOS: A critical synthesis of a standardization experience.

Harro Kremer, Jeroen van de Lagemaat, Axel Rennoch, Giuseppe Scollo

Proceedings of the Formal Description Techniques, 1992

1988

On the Use of LOTOS for the Formal Description of a Transport Protocol.

Jeroen van de Lagemaat, Giuseppe Scollo

Proceedings of the Formal Description Techniques, 1988