Oghabi, Giti (2011) Verifying Web Services Using Probabilistic Model Checking. Masters thesis, Concordia University.
![[img]](http://spectrum.library.concordia.ca/style/images/fileicons/application_pdf.png)
| PDF - Accepted Version 1340Kb |
| Divisions: | Concordia University > Faculty of Engineering and Computer Science > Computer Science and Software Engineering |
|---|---|
| Item Type: | Thesis (Masters) |
| Authors: | Oghabi, Giti |
| Institution: | Concordia University |
| Degree Name: | M.A. Sc. |
| Program: | Software Engineering |
| Date: | 30 September 2011 |
| ID Code: | 35968 |
| Deposited By: | GITI OGHABI |
| Deposited On: | 17 Nov 2011 15:22 |
| Last Modified: | 09 Jan 2012 15: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
