"KaSa: A Static Analyzer for Kappa."

Pierre Boutillier et al. (2018)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics