2 citations · 2 across the 2 of their papers we have counts for
1 paper
Elisabetta De Maria, Joelle Despeyroux, Amy Felty
We propose a novel approach for the formal verification of biological systems based on the use of a modal linear logic. We show how such a logic can be used, with worlds as instant…