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]
@inproceedings{ItoHY14a,
title = {Formulation of Homeostasis by Realisability on Linear Temporal Logic},
author = {Sohei Ito and Shigeki Hagihara and Naoki Yonezaki},
year = {2014},
doi = {10.1007/978-3-319-26129-4_10},
url = {https://doi.org/10.1007/978-3-319-26129-4_10},
researchr = {https://researchr.org/publication/ItoHY14a},
cites = {0},
citedby = {0},
pages = {149-164},
booktitle = {Biomedical Engineering Systems and Technologies - 7th International Joint Conference, BIOSTEC 2014, Angers, France, March 3-6, 2014, Revised Selected Papers},
editor = {Guy Plantier and Tanja Schultz and Ana L. N. Fred and Hugo Gamboa},
volume = {511},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-3-319-26128-7},
}