TY - CHAP A1 - Heiner, Monika A1 - Breitling, Rainer A1 - Gilbert, David A1 - Priami, C. T1 - Formal Methods in Molecular Biology KW - Petri Nets Y1 - 2009 UR - http://drops.dagstuhl.de/portals/index.php?semnr=09091 ER -