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