Usage of the Lotosphere Development Tools and ISODE for Prototyping Application Layer Protocols

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

Original language	Undefined
Title of host publication	Workshop Proceedings Formale Methoden zum Entwurf Korrekter Systeme
Place of Publication	Bad Herrealb - Germany
Pages	81-94
Publication status	Published - 24 Feb 1993

Keywords

@inproceedings{6a8d6b14ca394c089435a62ae5f2a99c,

title = "Usage of the Lotosphere Development Tools and ISODE for Prototyping Application Layer Protocols",

keywords = "METIS-120018",

author = "M. Baveco and H. Korte and I.A. Widya and \{van Sinderen\}, \{Marten J.\}",

year = "1993",

month = feb,

day = "24",

language = "Undefined",

pages = "81--94",

booktitle = "Workshop Proceedings Formale Methoden zum Entwurf Korrekter Systeme",

}

TY - GEN

T1 - Usage of the Lotosphere Development Tools and ISODE for Prototyping Application Layer Protocols

AU - Baveco, M.

AU - Korte, H.

AU - Widya, I.A.

AU - van Sinderen, Marten J.

PY - 1993/2/24

Y1 - 1993/2/24

KW - METIS-120018

M3 - Conference contribution

SP - 81

EP - 94

BT - Workshop Proceedings Formale Methoden zum Entwurf Korrekter Systeme

CY - Bad Herrealb - Germany

ER -