skip to main content
Show Results with:

Local model checking for a value-based modal #mu#-calculus.

J Rathke

University of Sussex, Computer Science, 1996.

Check library holdings

Notes here allow you and other users to comment and make notes on items, viewable by the whole community.
NB: Please use the Report Catalogue Error form to advise us of catalogue inaccuracies.

Log in to add a note

Tags allow you and others to define and search on related groups of items.

Log in to add / remove tags

Searching Remote Databases, Please Wait