Improved verification methods for concurrent systems

S.C.W. Ploeger

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

100 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Department of Mathematics and Computer Science
  • Groote, Jan Friso, Promotor
  • van Wijk, Jack J., Promotor
  • Willemse, Tim A.C., Copromotor
Award date27 Aug 2009
Place of PublicationEindhoven
Print ISBNs978-90-386-1926-2
Publication statusPublished - 2009

Cite this

Ploeger, S. C. W. (2009). Improved verification methods for concurrent systems. Technische Universiteit Eindhoven.