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]

Abstract

Abstract is missing.