"Towards a CPN-Based Modelling Approach for Reconciling Verification and ..."

Kent Inge Fagerland Simonsen, Lars Michael Kristensen (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics