Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Experimental biological protocols with formal semantics - MaRDI portal

Experimental biological protocols with formal semantics

From MaRDI portal

Publication:1796495

Jump to:navigation, search

DOI10.1007/978-3-319-99429-1_10zbMath1397.92268arXiv1710.08016OpenAlexW2963938983MaRDI QIDQ1796495

Marta Kwiatkowska, Luca Cardelli, Boyan Yordanov, Luca Laurenti, Alessandro Abate

Publication date: 17 October 2018

Full work available at URL: https://arxiv.org/abs/1710.08016

zbMATH Keywords

biochemical systems biological protocols core protocol language

Mathematics Subject Classification ID

Kinetics in biochemical problems (pharmacokinetics, enzyme kinetics, etc.) (92C45) Semantics in the theory of computing (68Q55)

Related Items (1)

Push-forward method for piecewise deterministic biochemical simulations

This page was built for publication: Experimental biological protocols with formal semantics

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1796495&oldid=14146699"