Formal Verification of Distributed Systems

J. Pang

Research output: PhD ThesisPhD Thesis - Research external, graduation VUAcademic

Original languageEnglish
QualificationPhD
Awarding Institution
  • Vrije Universiteit Amsterdam
Supervisors/Advisors
  • Fokkink, W.J., Supervisor
Place of PublicationVrije Universiteit
Publication statusPublished - 2004

Bibliographical note

Naam instelling promotie: Vrije Universiteit

Cite this

Pang, J. (2004). Formal Verification of Distributed Systems. Vrije Universiteit.
Pang, J.. / Formal Verification of Distributed Systems. Vrije Universiteit, 2004.
@phdthesis{e8bc5ba0a47142a7944a846cfdbb2397,
title = "Formal Verification of Distributed Systems",
author = "J. Pang",
note = "Naam instelling promotie: Vrije Universiteit",
year = "2004",
language = "English",
school = "Vrije Universiteit Amsterdam",

}

Pang, J 2004, 'Formal Verification of Distributed Systems', PhD, Vrije Universiteit Amsterdam, Vrije Universiteit.

Formal Verification of Distributed Systems. / Pang, J.

Vrije Universiteit, 2004.

Research output: PhD ThesisPhD Thesis - Research external, graduation VUAcademic

TY - THES

T1 - Formal Verification of Distributed Systems

AU - Pang, J.

N1 - Naam instelling promotie: Vrije Universiteit

PY - 2004

Y1 - 2004

M3 - PhD Thesis - Research external, graduation VU

CY - Vrije Universiteit

ER -

Pang J. Formal Verification of Distributed Systems. Vrije Universiteit, 2004.