On Model Checking Data-independent Systems with Arrays without Reset (2004)

by R. S. Lazić , T. C. Newcomb , A. W. Roscoe
Venue:THEORY AND PRACTICE OF LOGIC PROGRAMMING
Citations:15 - 5 self