An analysis for proving probabilistic termination of biological systems
Gori, Roberta, Levi, FrancescaVolume:
471
Language:
english
Journal:
Theoretical Computer Science
DOI:
10.1016/j.tcs.2012.10.058
Date:
February, 2013
File:
PDF, 1.59 MB
english, 2013