On Model Checking Data−independent Systems with Arrays without Reset
A. W. Roscoe‚ R. S. Lazic and T. C. Newcomb
Details
| Journal |
Theory and Practice of Logic Programming |
| Number |
5 & 6 |
| Pages |
659−693 |
| Volume |
4 |
| Year |
2004 |
Links
Related pages
|
People |
|
|
Activities |