"A Graphical Approach to Component-Based and Extensible Model Checking ..."

Michael Westergaard, Lars Michael Kristensen (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics