Login / Signup
On the Random Structure of Behavioural Transition Systems.
Jan Friso Groote
Remco van der Hofstad
Matthias Raffelsieper
Published in:
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2014)
Keyphrases
</>
transition systems
network structure
temporal logic
model checking
finite state
search algorithm