Sign in
On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets.
Raymond R. Devillers
Ronny Tredup
Published in:
Fundam. Informaticae (2022)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
sufficient conditions
test set
formal specification
finite state
practical reasoning