Lecture Notes in Computer Science Volume 351, 1989, pp 369-383
Date: 31 May 2005

Local model checking in the modal mu-calculus

* Final gross prices may vary according to local VAT.

Get Access