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

Searching Remote Databases, Please Wait