Back to Results
First PageMeta Content
Bisimulation / Theoretical computer science / Model checking / Mathematics / Modal logic / Temporal logic / Logic / Philosophical logic / Logic in computer science


Bisimulation, Model Checking and Other Games  Colin Stirling
Add to Reading List

Document Date: 2009-05-20 10:02:37

Open Document

File Size: 286,60 KB

Share Result on Facebook
UPDATE