Login / Signup
Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints.
Maurice H. ter Beek
Ferruccio Damiani
Stefania Gnesi
Franco Mazzanti
Luca Paolini
Published in:
IFM (2019)
Keyphrases
</>
transition systems
model checking
temporal logic
concurrent systems
control flow
practical reasoning
finite state
model checker
modal logic
software engineering
social networks
business processes
data flow
reactive systems