000 00330nam a2200121Ia 4500
008 161118s2016 xx 000 0 und d
082 _a574.88 BER-F
100 _aBernardo Marco and others Eds
245 0 _aFormal methods for Computational Systems Biology
260 _aBerlin
_bSpringer
_c2008
300 _a523
942 _2ddc
_01
999 _c33622
_d33622