Query-based verification of qualitative trends and oscillations in biochemical systems

Paolo Ballarini, Maria Luisa Guerriero. Query-based verification of qualitative trends and oscillations in biochemical systems. Theoretical Computer Science, 411(20):2019-2036, 2010. [doi]

Authors

Paolo Ballarini

This author has not been identified. Look up 'Paolo Ballarini' in Google

Maria Luisa Guerriero

This author has not been identified. Look up 'Maria Luisa Guerriero' in Google