Specification and Verification of Context-dependent Services Naseem Ibrahim, Vangalur Alagar, and Mubarak Mohammad Department of Computer Science - Naseem - Document - PDFSEARCH.IO

First Page	Meta Content
	Specification and Verification of Context-dependent Services Naseem Ibrahim, Vangalur Alagar, and Mubarak Mohammad Department of Computer Science & Software Engineering Concordia University, Montreal, Canada {n ibrah,ala Add to Reading List Document Date: 2011-06-03 09:39:07 Open Document File Size: 321,07 KB Share Result on Facebook

Specification and Verification of Context-dependent Services Naseem Ibrahim, Vangalur Alagar, and Mubarak Mohammad Department of Computer Science & Software Engineering Concordia University, Montreal, Canada {n ibrah,alaAdd to Reading List