Article,
Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481).
F. Durán, R. Heinrich, D. Perez-Palacin, C. Talcott, and S. Zschaler.Dagstuhl Reports, 9 (11): 97-116 (2019)
Meta data
- BibTeX key
- journals/dagstuhl-reports/DuranHPTZ19
- entry type
- article
- year
- 2019
- journal
- Dagstuhl Reports
- number
- 11
- pages
- 97-116
- volume
- 9
- ee
- https://doi.org/10.4230/DagRep.9.11.97
- url
- http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports9.html#DuranHPTZ19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/dagstuhl-reports/DuranHPTZ19
%A Durán, Francisco
%A Heinrich, Robert
%A Perez-Palacin, Diego
%A Talcott, Carolyn L.
%A Zschaler, Steffen
%D 2019
%J Dagstuhl Reports
%K dblp
%N 11
%P 97-116
%T Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481).
%U http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports9.html#DuranHPTZ19
%V 9
@article{journals/dagstuhl-reports/DuranHPTZ19,
added-at = {2021-06-28T00:00:00.000+0200},
author = {Durán, Francisco and Heinrich, Robert and Perez-Palacin, Diego and Talcott, Carolyn L. and Zschaler, Steffen},
biburl = {https://www.bibsonomy.org/bibtex/2a2f1e64648c210be1152739ae6262596/dblp},
ee = {https://doi.org/10.4230/DagRep.9.11.97},
interhash = {0300c7af8235d17e5cdc3954339f9a9a},
intrahash = {a2f1e64648c210be1152739ae6262596},
journal = {Dagstuhl Reports},
keywords = {dblp},
number = 11,
pages = {97-116},
timestamp = {2024-04-08T14:52:34.000+0200},
title = {Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481).},
url = {http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports9.html#DuranHPTZ19},
volume = 9,
year = 2019
}