skip to main content
Show Results with:

Symbolic bisimulations.

M Hennessy

University of Sussex, School of Cognitive and Computing Science, 1992.

Check library holdings

Searching Remote Databases, Please Wait