Analysing Industrial Protocols with Formal Methods

Research output: Thesis › PhD Thesis - Research UT, graduation external

374 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	University of Twente
Supervisors/Advisors	Brinksma, Ed, Supervisor Vaandrager, Frits W., Supervisor, External person
Award date	15 Oct 1999
Place of Publication	Enschede
Publisher	University of Twente
Print ISBNs	90-9013086-1
Publication status	Published - 15 Oct 1999

Keywords

@phdthesis{30f6fcb582c34fdbb943cef117d06233,

title = "Analysing Industrial Protocols with Formal Methods",

keywords = "METIS-118429, IR-17910",

author = "J.M.T. Romijn and Romijn, \{Judi Maria Tirza\}",

year = "1999",

month = oct,

day = "15",

language = "English",

isbn = "90-9013086-1",

publisher = "University of Twente",

address = "Netherlands",

type = "PhD Thesis - Research UT, graduation external",

school = "University of Twente",

}