On Model checking data-independent systems with arrays with whole-array operations
A. W. Roscoe, R. S. Lazic and Tom Newcomb
Details
| Book Title |
Communicating Sequential Processes |
| Number |
3525 |
| Publisher |
Springer LNCS |
| Year |
2005 |
Links
Related pages
|
People |
|
|
Activities |