Colloquium on Trees in Algebra and Programming

CAAP 1989: TAPSOFT '89 pp 369-383

Local model checking in the modal mu-calculus

  • Colin Stirling
  • David Walker
Communications

DOI: 10.1007/3-540-50939-9_144

Volume 351 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Stirling C., Walker D. (1989) Local model checking in the modal mu-calculus. In: Díaz J., Orejas F. (eds) TAPSOFT '89. CAAP 1989. Lecture Notes in Computer Science, vol 351. Springer, Berlin, Heidelberg
Download to read the full conference paper text

Copyright information

© Springer-Verlag 1989

Authors and Affiliations

  • Colin Stirling
    • 1
  • David Walker
    • 1
  1. 1.Department of Computer ScienceUniversity of EdinburghEdinburghU.K.