@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}
}