Model−checking CSP
A. W. Roscoe
Details
| Book Title |
A Classical Mind: essays in Honour of C.A.R. Hoare |
| Chapter |
21 |
| Publisher |
Prentice−Hall |
| Year |
1994 |
Links
Related pages
|
People |
|
|
Activities |