An analysis for proving probabilistic termination of biological systems
type: Item
instance of: scholarly article
title: An analysis for proving probabilistic termination of biological systems
zbMATH Open document ID: 1294.92019
author: Roberta Gori
author: Francesca Levi
published in: Theoretical Computer Science
publication date: 2013-02-19T00:00:00Z
Mathematics Subject Classification ID: 92C42
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 60J10
zbMATH DE Number: 6137361
zbMATH Keywords: chemical ground form calculus
zbMATH Keywords: abstract interpretation
zbMATH Keywords: probabilistic termination
MaRDI profile type: Publication
full work available at URL: j.tcs.2012.10.058
OpenAlex ID: W2040085466
DOI: 10.1016/J.TCS.2012.10.058
description: scientific article; zbMATH DE number 6137361