On the random structure of behavioural transition systems

Jan Friso Groote, Remco van der Hofstad, Matthias Raffelsieper. On the random structure of behavioural transition systems. Science of Computer Programming, 128:51-67, 2016. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.