Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Banks, Christopher Jon"'
Autor:
Banks, Christopher Jon
Process algebra, formal specification, and model checking are all well studied techniques in the analysis of concurrent computer systems. More recently these techniques have been applied to the analysis of biochemical systems which, at an abstract le
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.666060
