Groote, Jan Friso, Dep. of Mathematics and Computers Science, Netherlands
-
Volume 70: Automated Verification of Critical Systems 2014 - Articles
On the Random Structure of Behavioural Transition Systems
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.