Black Box Checking for Biochemical Networks

Dragan Bosnacki. Black Box Checking for Biochemical Networks. In Vincent Danos, Vincent Sch├Ąchter, editors, Computational Methods in Systems Biology, International Conference, CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers. Volume 3082 of Lecture Notes in Computer Science, pages 225-230, Springer, 2004. [doi]

Abstract

Abstract is missing.