Francisco Durán, Robert Heinrich, Diego Perez-Palacin, Carolyn L. Talcott, Steffen Zschaler. Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481). Dagstuhl Reports, 9(11):97-116, 2019. [doi]
@article{DuranHPTZ19,
title = {Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481)},
author = {Francisco Durán and Robert Heinrich and Diego Perez-Palacin and Carolyn L. Talcott and Steffen Zschaler},
year = {2019},
doi = {10.4230/DagRep.9.11.97},
url = {https://doi.org/10.4230/DagRep.9.11.97},
researchr = {https://researchr.org/publication/DuranHPTZ19},
cites = {0},
citedby = {0},
journal = {Dagstuhl Reports},
volume = {9},
number = {11},
pages = {97-116},
}