Electronic Communications of the EASST
van der Hofstad, Remco, Department of Mathematics and Computer Science, Eindhoven University of Technology, 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.