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

Steve Dworschak, Torsten Grote, Arne Knig, Torsten Schaub, Philippe Veber

Browse the full ICTAI paper archive.