External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formulation of Homeostasis by Realisability on Linear Temporal Logic

Sohei Ito, Shigeki Hagihara, Naoki Yonezaki. Formulation of Homeostasis by Realisability on Linear Temporal Logic. In Guy Plantier, Tanja Schultz, Ana L. N. Fred, Hugo Gamboa, editors, Biomedical Engineering Systems and Technologies - 7th International Joint Conference, BIOSTEC 2014, Angers, France, March 3-6, 2014, Revised Selected Papers. Volume 511 of Communications in Computer and Information Science, pages 149-164, Springer, 2014. [doi]

Authors

Sohei Ito

This author has not been identified. Look up 'Sohei Ito' in Google

Shigeki Hagihara

This author has not been identified. Look up 'Shigeki Hagihara' in Google

Naoki Yonezaki

This author has not been identified. Look up 'Naoki Yonezaki' in Google
runs on