@inproceedings{TEMP:conf/kr/DworschakGKSV08, title = {Tools for Representing and 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 = {{NMR@KR}}, pages = {94--102}, series = {School of Computer Science and Engineering, The University of New South Wales, Technical Report Series}, year = {2008} }