Hybrid automata, reachability, and systems biology
From MaRDI portal
Publication:969180
DOI10.1016/j.tcs.2009.12.015zbMath1209.68294MaRDI QIDQ969180
Publication date: 11 May 2010
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2009.12.015
68Q45: Formal languages and automata
Uses Software