GitHub repository: mhillerstrom/Verification-of-CCS-processes
Primary language: TeX
Created: 2016-07-11T18:36:25Z
Description: Verification of CSS-processes an M.Sc. Thesis by Michael Hillerström