@InProceedings{knuepfer07-formalise_meaning,
  author =	 {Christian Kn{\"u}pfer and Clemens Beckstein and
    Peter Dittrich},
  title =	 {How to Formalise the Meaning of a Bio-Model: A Case
    Study},
  year =	 2007,
  series =	 {BMC Systems Biology},
  volume =	 1,
  number =	 {Suppl 1},
  pages =	 28,
  booktitle =	 {BioSysBio 2007: Systems Biology, Bioinformatics,
    Synthetic Biology -- Meeting Abstracts, Manchester, UK, 11-13
    January 2007},
  editor =	 {John Cumbers and Xu Gu and Jong Sze Wong},
  note =
    {\url{http://www.biomedcentral.com/1752-0509/1/S1/P28}}
}