MODEL CHECKING CONCURRENT AND REAL-TIME SYSTEMS: THE PAT APPROACH LIU YANG (B.Sc. (Hons.), NUS)

First Page		Document Content
Date: 2012-10-11 21:07:52		MODEL CHECKING CONCURRENT AND REAL-TIME SYSTEMS: THE PAT APPROACH LIU YANG (B.Sc. (Hons.), NUS) Add to Reading List Source URL: www.ntu.edu.sg Download Document from Source Website File Size: 1,62 MB Share Document on Facebook