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:
https://explore.openaire.eu/search/publication?articleId=od_______463::c70acfb66730f3f44b202bbe1d7ffaf3
http://hdl.handle.net/1842/10512
http://hdl.handle.net/1842/10512
