[Lecture Notes in Computer Science] DNA Computing and Molecular Programming Volume 9818 || Verifying Chemical Reaction Network Implementations: A Bisimulation Approach
Rondelez, Yannick, Woods, DamienVolume:
10.1007/97
Year:
2016
Language:
english
DOI:
10.1007/978-3-319-43994-5_8
File:
PDF, 468 KB
english, 2016