Verifying Chemical Reaction Network Implementations: A Bisimulation Approach
2016 ◽
Vol 632
◽
pp. 21-42
◽
2007 ◽
Vol 40
(5)
◽
pp. 225-230
◽
Keyword(s):
Keyword(s):
Keyword(s):