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]

Authors

Davide Chiarugi

This author has not been identified. Look up 'Davide Chiarugi' in Google

Moreno Falaschi

This author has not been identified. Look up 'Moreno Falaschi' in Google

Diana Hermith

This author has not been identified. Look up 'Diana Hermith' in Google

Carlos Olarte

This author has not been identified. Look up 'Carlos Olarte' in Google