Login / Signup
Models and Temporal Logics for Timed Component Connectors.
Farhad Arbab
Christel Baier
Frank S. de Boer
Jan J. M. M. Rutten
Published in:
SEFM (2004)
Keyphrases
</>
temporal logic
model checking
reactive systems
modal logic
np hard
probabilistic model
satisfiability problem