Crossmark

ccReact: a rewriting framework for the formal analysis of reaction systems

Crossref DOI link: https://doi.org/10.1007/s10009-024-00772-z

Published Online: 2024-12-28

Published Print: 2024-12

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Ballis, Demis https://orcid.org/0000-0002-1048-1739
Brodo, Linda https://orcid.org/0000-0002-4455-2419
Falaschi, Moreno https://orcid.org/0000-0002-6659-3828
Olarte, Carlos https://orcid.org/0000-0002-7264-7773
License Information

Text and Data Mining valid from 2024-12-01

Version of Record valid from 2024-12-01
More Information

Article History

Accepted: 12 December 2024

First Online: 28 December 2024