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

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

Research output: Book/Report › Report › Professional

Cite this

@book{fa7e045de759448a89c1df0f4b3e978f,

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

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

year = "1990",

language = "English",

series = "Memoranda Informatica",

publisher = "University of Twente",

number = "90-05",

address = "Netherlands",

}