"Model Checking in The COSMA Environment as a Support for The Design of ..."

Jerzy Miescicki, Bogdan D. Czejdo, Wiktor B. Daszczuk (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics