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

@article{lagemaat1988,
  title = {On the Use of LOTOS for the Formal Description of a Transport Protocol},
  author = {Jeroen van de Lagemaat and Giuseppe Scollo},
  journal = {FORTE},
  year = {1988},
  month = {Jan},
}

Jeroen van de Lagemaat & Giuseppe Scollo (1988). On the Use of LOTOS for the Formal Description of a Transport Protocol. FORTE.

Jeroen van de Lagemaat, and Giuseppe Scollo. "On the Use of LOTOS for the Formal Description of a Transport Protocol." FORTE, 1988.

Jeroen van de Lagemaat, and Giuseppe Scollo. "On the Use of LOTOS for the Formal Description of a Transport Protocol." FORTE (1988).

Jeroen van de Lagemaat and Giuseppe Scollo, 1988. On the Use of LOTOS for the Formal Description of a Transport Protocol. FORTE.

TY  - JOUR
TI  - On the Use of LOTOS for the Formal Description of a Transport Protocol
AU  - Jeroen van de Lagemaat
AU  - Giuseppe Scollo
PY  - 1988
JO  - FORTE
ER  -