On the random structure of behavioural transition systems

Jan Friso Groote, Remco van der Hofstad, Matthias Raffelsieper
2016 Science of Computer Programming  
doi:10.1016/j.scico.2016.02.006 fatcat:qdj3hsw4u5etjh4nwnzinsgsj4