On Model Checking Data−independent Systems with Arrays without Reset
A. W. Roscoe‚ R. S. Lazic and T. C. Newcomb
Details
| Book Title |
Proceedings of VCL 2001 |
| Year |
2001 |
Links
Related pages
|
People |
|
|
Activities |