Lecture Notes in Computer Science Volume 351, 1989, pp 369-383

Local model checking in the modal mu-calculus

* Final gross prices may vary according to local VAT.

Get Access