Login / Signup
Formulation of Homeostasis by Realisability on Linear Temporal Logic.
Sohei Ito
Shigeki Hagihara
Naoki Yonezaki
Published in:
BIOSTEC (Selected Papers) (2014)
Keyphrases
</>
linear temporal logic
temporal logic
model checking
bounded model checking