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

First Page		Document Content
Date: 2011-06-03 09:39:07		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 Source URL: rap.dsi.unifi.it Download Document from Source Website File Size: 321,07 KB Share Document on Facebook