[Lecture Notes in Computer Science] Unconventional Computation and Natural Computation Volume 9726 || Towards Quantitative Verification of Reaction Systems
Amos, Martyn, CONDON, ANNEVolume:
10.1007/97
Year:
2016
Language:
english
DOI:
10.1007/978-3-319-41312-9_12
File:
PDF, 339 KB
english, 2016