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

Document Supply 7623.617100 SU-CS--5/96 Shelfmark(s)

Searching Remote Databases, Please Wait