Oghabi, Giti (2011) Verifying Web Services Using Probabilistic Model Checking. Masters thesis, Concordia University.
- Accepted Version
|Divisions:||Concordia University > Faculty of Engineering and Computer Science > Computer Science and Software Engineering|
|Item Type:||Thesis (Masters)|
|Degree Name:||M.A. Sc.|
|Date:||30 September 2011|
|Deposited By:||GITI OGHABI|
|Deposited On:||17 Nov 2011 20:22|
|Last Modified:||09 Jan 2012 20:10|
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.
Repository Staff Only: item control page