PhD Computer Science



The following thesis was written by a student in the 1990 class of the PhD Computer Science programme at Leiden University.


Thesis details

TitleConcurrent System Verification with Process Algebra
StudentZuidweg, J. (Han)
ProgrammePhD Computer Science
Year1990

Citation details

Zuidweg, J. (Han), Concurrent System Verification with Process Algebra, Thesis PhD Computer Science, Leiden University, 1990.