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