Modelling and Analysing Qualitative Biological Models using Rewriting Logic
From MaRDI portal
Publication:4599813
DOI10.3233/FI-2017-1529zbMath1382.68147MaRDI QIDQ4599813
Jason Steggles, Abdullah Alhumaidan
Publication date: 5 January 2018
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Systems biology, networks (92C42)
Related Items (1)
This page was built for publication: Modelling and Analysing Qualitative Biological Models using Rewriting Logic