000 00313nam a2200121Ia 4500
008 170101s2008 xx 000 0 und d
082 _a003 BER
100 _aBernardo M.
245 0 _aFormal Methods for computational Systems Biology
260 _aBerlin
_bSpringer
_c2008
300 _a523 P
942 _2ddc
_cB
999 _c1516866
_d1516866