%0 Conference Paper %1 conf/ictai/DworschakGKSV08 %A Dworschak, Steve %A Grote, Torsten %A König, Arne %A Schaub, Torsten %A Veber, Philippe %B ICTAI (1) %D 2008 %I IEEE Computer Society %K dblp %P 11-18 %T The System BioC for Reasoning about Biological Models in Action Language C. %U http://dblp.uni-trier.de/db/conf/ictai/ictai2008-1.html#DworschakGKSV08 %@ 978-0-7695-3440-4

@inproceedings{conf/ictai/DworschakGKSV08, added-at = {2023-03-24T00:00:00.000+0100}, author = {Dworschak, Steve and Grote, Torsten and König, Arne and Schaub, Torsten and Veber, Philippe}, biburl = {https://www.bibsonomy.org/bibtex/2483de37f2aaad9cbb58b84fe4f91b8e1/dblp}, booktitle = {ICTAI (1)}, crossref = {conf/ictai/2008-1}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICTAI.2008.69}, interhash = {04677361fb10ae36e100082c9e8ef84e}, intrahash = {483de37f2aaad9cbb58b84fe4f91b8e1}, isbn = {978-0-7695-3440-4}, keywords = {dblp}, pages = {11-18}, publisher = {IEEE Computer Society}, timestamp = {2024-04-09T21:14:08.000+0200}, title = {The System BioC for Reasoning about Biological Models in Action Language C.}, url = {http://dblp.uni-trier.de/db/conf/ictai/ictai2008-1.html#DworschakGKSV08}, year = 2008 }