Analysing Industrial Protocols with Formal Methods

J.M.T. Romijn, Judi Maria Tirza Romijn

Research output: ThesisPhD Thesis - Research UT, graduation externalAcademic

16 Downloads (Pure)
Original languageUndefined
Supervisors/Advisors
  • Brinksma, Hendrik , Supervisor
  • Vaandrager, F.W., Supervisor
Award date15 Oct 1999
Place of PublicationEnschede
Publisher
Print ISBNs90-9013086-1
Publication statusPublished - 15 Oct 1999

Keywords

  • METIS-118429
  • IR-17910

Cite this

Romijn, J. M. T., & Romijn, J. M. T. (1999). Analysing Industrial Protocols with Formal Methods. Enschede: Universiteit Twente.
Romijn, J.M.T. ; Romijn, Judi Maria Tirza. / Analysing Industrial Protocols with Formal Methods. Enschede : Universiteit Twente, 1999. 190 p.
@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 = "10",
day = "15",
language = "Undefined",
isbn = "90-9013086-1",
publisher = "Universiteit Twente",

}

Romijn, JMT & Romijn, JMT 1999, 'Analysing Industrial Protocols with Formal Methods', Enschede.

Analysing Industrial Protocols with Formal Methods. / Romijn, J.M.T.; Romijn, Judi Maria Tirza.

Enschede : Universiteit Twente, 1999. 190 p.

Research output: ThesisPhD Thesis - Research UT, graduation externalAcademic

TY - THES

T1 - Analysing Industrial Protocols with Formal Methods

AU - Romijn, J.M.T.

AU - Romijn, Judi Maria Tirza

PY - 1999/10/15

Y1 - 1999/10/15

KW - METIS-118429

KW - IR-17910

M3 - PhD Thesis - Research UT, graduation external

SN - 90-9013086-1

PB - Universiteit Twente

CY - Enschede

ER -

Romijn JMT, Romijn JMT. Analysing Industrial Protocols with Formal Methods. Enschede: Universiteit Twente, 1999. 190 p.