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