Login / Signup
Recognizable sets of finite bilabelled transition systems.
André Arnold
Published in:
Bull. EATCS (1989)
Keyphrases
</>
transition systems
temporal logic
model checking
finite automata
concurrent systems
control flow
practical reasoning
search algorithm
finite state
artificial intelligence
web services
software engineering