Skip to main content

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