Formal methods in systems biology : first International workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008: proceedings / ed. J. Fisher, 2008 r=on-line. - Текст : электронный.