Formal Verification of Distributed Systems

J. Pang

Research output: PhD ThesisPhD-Thesis – Research external, graduation internal

104 Downloads (Pure)
Original languageEnglish
QualificationPhD
Awarding Institution
  • Vrije Universiteit Amsterdam
Supervisors/Advisors
  • Fokkink, Wan, Supervisor
Place of PublicationVrije Universiteit
Publication statusPublished - 2004

Bibliographical note

Naam instelling promotie: Vrije Universiteit

Cite this