Towards an Implementation-oriented Specification of TP Protocol in LOTOS

I.A. Widya, G.J. van der Heijden

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

Original language	Undefined
Title of host publication	Lecture Notes in Computer Science: Formal Methods Europe '93: Industrial-Strengh formal Methods
Place of Publication	Odense - Denmark
Publisher	Springer
Pages	93-109
ISBN (Print)	3-540-56662-7
Publication status	Published - 1993

Keywords

@inbook{ae9c00971bb44eeb9d810e4b60dafd84,

title = "Towards an Implementation-oriented Specification of TP Protocol in LOTOS",

keywords = "METIS-119001",

author = "I.A. Widya and \{van der Heijden\}, G.J.",

year = "1993",

language = "Undefined",

isbn = "3-540-56662-7",

pages = "93--109",

booktitle = "Lecture Notes in Computer Science: Formal Methods Europe '93: Industrial-Strengh formal Methods",

publisher = "Springer",

address = "Germany",

}