[Lecture Notes in Computer Science] Unconventional Computation and Natural Computation Volume 9726 || Towards Quantitative Verification of Reaction Systems
Amos, Martyn; CONDON, ANNE
- 作者Amos, Martyn; CONDON, ANNE
- 文件大小339.49KB
- 发表时间2016
- DOI10.1007/978-3-319-41312-9_12
- 页码142-154