KaSa: A Static Analyzer for Kappa

Pierre Boutillier, Ferdinanda Camporesi, Jean Coquet, Jérôme Feret, Kim Quyên Lý, Nathalie Théret, Pierre Vignet. KaSa: A Static Analyzer for Kappa. In Milan Ceska 0001, David Safránek, editors, Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings. Volume 11095 of Lecture Notes in Computer Science, pages 285-291, Springer, 2018. [doi]

Abstract

Abstract is missing.