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

City

Automata / /

Company

Encoding Transition Systems / Modelling Concurrent Systems / Probabilistic Systems / /

Currency

LTL / /

Event

Man-Made Disaster / /

Technology

7.3 Bisimulation-Quotienting Algorithms / ROBDD-Based Algorithms / 7.6 Simulation-Quotienting Algorithms / 4.1 Basic Algorithm / TCTL Model-Checking Algorithm / Simulation / /

SocialTag