Report - On the random structure of behavioural transition systems. Jan Friso Groote, Remco van der Hofstad, Matthias Raffelsieper.

Please pass captcha verification before submit form