Local model checking for a value-based modal [micro]-calculus /
Rathke, Julian.
Hennessy, Matthew.
University of Sussex.School of Cognitive and Computing Sciences.
Brighton : School of Cognitive and Computing Sciences, University of Sussex,
1996.
Cover title.