On the random structure of behavioural transition systems
Groote, Jan Friso, van der Hofstad, Remco, Raffelsieper, MatthiasLanguage:
english
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2016.02.006
Date:
March, 2016
File:
PDF, 1.52 MB
english, 2016