A 3-Valued Logic for the Specification and the Verification of Security Properties ´chir Ktari Be - Security Properties - Document - PDFSEARCH.IO

First Page	Meta Content
	A 3-Valued Logic for the Specification and the Verification of Security Properties ´chir Ktari Be Add to Reading List Document Date: 2004-12-05 23:21:27 Open Document File Size: 110,88 KB Share Result on Facebook

A 3-Valued Logic for the Specification and the Verification of Security Properties ´chir Ktari BeAdd to Reading List