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

First Page	Meta Content
	MODEL CHECKING CONCURRENT AND REAL-TIME SYSTEMS: THE PAT APPROACH LIU YANG (B.Sc. (Hons.), NUS) Add to Reading List Document Date: 2012-10-11 21:07:52 Open Document File Size: 1,62 MB Share Result on Facebook

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