Cinzia Bernardeschi, Andrea Domenici, Paolo Masci. Logic-Based Formalization of System Requirements for Integrated Clinical Environments. In Pietro Liò, Paolo Zuliani, editors, Automated Reasoning for Systems Biology and Medicine. Volume 30 of Computational Biology, pages 215-242, Springer, 2019. [doi]
@incollection{BernardeschiDM19,
title = {Logic-Based Formalization of System Requirements for Integrated Clinical Environments},
author = {Cinzia Bernardeschi and Andrea Domenici and Paolo Masci},
year = {2019},
doi = {10.1007/978-3-030-17297-8_8},
url = {https://doi.org/10.1007/978-3-030-17297-8_8},
researchr = {https://researchr.org/publication/BernardeschiDM19},
cites = {0},
citedby = {0},
pages = {215-242},
booktitle = {Automated Reasoning for Systems Biology and Medicine},
editor = {Pietro Liò and Paolo Zuliani},
volume = {30},
series = {Computational Biology},
publisher = {Springer},
isbn = {978-3-030-17297-8},
}