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

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",

}