Merkliste 
 1 Ergebnisse 
 
1

KaSa: A Static Analyzer for Kappa:

, In: Computational Methods in Systems Biology; Lecture Notes in Computer Science,