@inproceedings{DBLP:conf/ictai/DworschakGKSV08, title = {The System BioC for Reasoning about Biological Models in Action Language {C}}, author = {Dworschak, Steve and Grote, Torsten and K{\"{o}}nig, Arne and Schaub, Torsten and Veber, Philippe}, booktitle = {{ICTAI} {(1)}}, pages = {11--18}, publisher = {{IEEE} Computer Society}, year = {2008} }