Back to Results
First PageMeta Content
Temporal logic / Model checkers / Mathematics / Model checking / Linear temporal logic / Computation tree logic / PAT / Bisimulation / Probabilistic bisimulation / Theoretical computer science / Logic in computer science / Applied mathematics


Contents Foreword xiii Preface
Add to Reading List

Document Date: 2008-04-04 05:03:58

Open Document

File Size: 87,64 KB

Share Result on Facebook
UPDATE