Specifying message passing and time-critical systems with temporal logic

R.L.C. Koymans

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

484 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Mathematics and Computer Science
Supervisors/Advisors
  • Roever, de, W.P., Promotor
  • Vytopil, J., Promotor
Award date26 May 1989
Place of PublicationEindhoven
Publisher
DOIs
Publication statusPublished - 1989

Cite this