Verification of Spatial and Temporal Modalities in Biochemical Systems

Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte. Verification of Spatial and Temporal Modalities in Biochemical Systems. Electronic Notes in Theoretical Computer Science, 316:29-44, 2015. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.