Login / Signup

Formulation of Homeostasis by Realisability on Linear Temporal Logic.

Sohei ItoShigeki HagiharaNaoki Yonezaki
Published in: BIOSTEC (Selected Papers) (2014)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking