On the use of specification styles for automated protocol implementation from LOTOS to C

@article{eijk1990,
  title = {On the use of specification styles for automated protocol implementation from LOTOS to C},
  author = {Peter van Eijk and Harro Kremer and Marten van Sinderen},
  journal = {PSTV},
  year = {1990},
  month = {Jan},
}

Peter van Eijk et al. (1990). On the use of specification styles for automated protocol implementation from LOTOS to C. PSTV.

Peter van Eijk, et al.. "On the use of specification styles for automated protocol implementation from LOTOS to C." PSTV, 1990.

Peter van Eijk, et al.. "On the use of specification styles for automated protocol implementation from LOTOS to C." PSTV (1990).

Peter van Eijk et al., 1990. On the use of specification styles for automated protocol implementation from LOTOS to C. PSTV.

TY  - JOUR
TI  - On the use of specification styles for automated protocol implementation from LOTOS to C
AU  - Peter van Eijk
AU  - Harro Kremer
AU  - Marten van Sinderen
PY  - 1990
JO  - PSTV
ER  -