Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models

Hayssam Soueidan, Grégoire Sutre, Macha Nikolski. Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models. In Pierpaolo Degano, Roberto Gorrieri, editors, Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings. Volume 5688 of Lecture Notes in Computer Science, pages 313-327, Springer, 2009. [doi]

Abstract

Abstract is missing.