Login / Signup
On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations.
Ranko Lazic
Thomas Christopher Newcomb
A. W. Roscoe
Published in:
25 Years Communicating Sequential Processes (2004)
Keyphrases
</>
model checking
temporal logic
artificial intelligence
transition systems