The System BioC for Reasoning about Biological Models in Action Language C

Steve Dworschak, Torsten Grote, Arne K├Ânig, Torsten Schaub, Philippe Veber. The System BioC for Reasoning about Biological Models in Action Language C. In 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 1. pages 11-18, IEEE Computer Society, 2008. [doi]

Abstract

Abstract is missing.