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

Title Concurrent System Verification with Process Algebra
Student Zuidweg, J. (Han)
Programme PhD Computer Science
Year 1990

Citation details

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