Loading...
Please wait, while we are loading the content...
Formal Modeling and Verification of CloudProxy (2014)
| Content Provider | CiteSeerX |
|---|---|
| Author | Tan, Wei Yang |
| Abstract | Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission. |
| File Format | |
| Publisher Date | 2014-01-01 |
| Access Restriction | Open |
| Subject Keyword | Formal Modeling Prior Specific Permission Hard Copy First Page Classroom Use Full Citation Commercial Advantage |
| Content Type | Text |
