Martin Schwarick, Monika Heiner. CSL Model Checking of Biochemical Networks with Interval Decision Diagrams. 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 296-312, Springer, 2009. [doi]
Abstract is missing.