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]