@inproceedings{boutillier:hal-01888951,
TITLE = {KaSa: A Static Analyzer for Kappa},
AUTHOR = {Boutillier, Pierre and Camporesi, Ferdinanda and Coquet, Jean and Feret, J{\'e}r{\^o}me and L{\'y},
Kim Quy{\^e}n and Th{\'e}ret, Nathalie and Vignet, Pierre},
URL = {https://univ-rennes.hal.science/hal-01888951},
BOOK
TITLE = {CMSB 2018 - 16th International Conference on Computational Methods in Systems Biology},
ADDRESS = {Brno, Czech Republic},
EDITOR = {Milan {\v C}e{\v s}ka and David {\v S}afr{\'a}nek},
PUBLISHER = {Springer Verlag},
SERIES = {LNCS},
VOLUME = {11095},
PAGES = {285-291},
YEAR = {2018},
MONTH = Sep, DOI = {10.1007/978-3-319-99429-1\_17},
KEYWORDS = {Chemical activation ; Computation steps ; Arbitrary number ; Computational methods ; Extracellular ; Biology ; Useful properties ; Transforming growth factors ; Static analyzers ; Molecular compounds},
PDF = {https://univ-rennes.hal.science/hal-01888951/file/cmsb2018.pdf},
HAL_ID = {hal-01888951},
HAL_VERSION = {v1},
}