On the use of specifications styles for automated protocolimplementation from LOTOS to C

P.H.J. van Eijk, H.H.C. Kremer, Marten J. van Sinderen

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	Tenth International Symposium on Protocol, Specification, Testing and Verification
Place of Publication	Ottawa, Canada
Pages	-
Number of pages	13
Publication status	Published - 1 Jun 1990

Keywords

@inproceedings{18a703c50b3847e598dd78300ba4dd73,

title = "On the use of specifications styles for automated protocolimplementation from LOTOS to C",

keywords = "METIS-119460",

author = "{van Eijk}, P.H.J. and H.H.C. Kremer and {van Sinderen}, {Marten J.}",

year = "1990",

month = jun,

day = "1",

language = "Undefined",

pages = "--",

booktitle = "Tenth International Symposium on Protocol, Specification, Testing and Verification",

}

On the use of specifications styles for automated protocolimplementation from LOTOS to C. / van Eijk, P.H.J.; Kremer, H.H.C.; van Sinderen, Marten J.
Tenth International Symposium on Protocol, Specification, Testing and Verification. Ottawa, Canada, 1990. p. -.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - On the use of specifications styles for automated protocolimplementation from LOTOS to C

AU - van Eijk, P.H.J.

AU - Kremer, H.H.C.

AU - van Sinderen, Marten J.

PY - 1990/6/1

Y1 - 1990/6/1

KW - METIS-119460

M3 - Conference contribution

SP - -

BT - Tenth International Symposium on Protocol, Specification, Testing and Verification

CY - Ottawa, Canada

ER -