Branching in Well-Structured Transition Systems (Invited Talk).

Sylvain Schmitz

Published in: CSL (2021)

Keyphrases

invited talk
transition systems
temporal logic
model checking
concurrent systems
knowledge discovery and data mining
finite state
control flow
selected papers
practical reasoning
model checker
artificial intelligence
information technology
data flow
australasian database conference