%0 Book Section %1 books/sp/21/0001GGLSZ21 %A Durán, Francisco %A Gogolla, Martin %A Guerra, Esther %A de Lara, Juan %A Sahraoui, Houari A. %A Zschaler, Steffen %B Composing Model-Based Analysis Tools %D 2021 %E Heinrich, Robert %E Durán, Francisco %E Talcott, Carolyn L. %E Zschaler, Steffen %I Springer %K dblp %P 129-158 %T Exploiting Results of Model-Based Analysis Tools. %U http://dblp.uni-trier.de/db/books/collections/HDTZ2021.html#0001GGLSZ21 %@ 978-3-030-81915-6

@incollection{books/sp/21/0001GGLSZ21, added-at = {2022-05-25T00:00:00.000+0200}, author = {Durán, Francisco and Gogolla, Martin and Guerra, Esther and de Lara, Juan and Sahraoui, Houari A. and Zschaler, Steffen}, biburl = {https://www.bibsonomy.org/bibtex/2e5b96ecd675fc2c449eea1b5295bc8d6/dblp}, booktitle = {Composing Model-Based Analysis Tools}, crossref = {books/sp/21/HDTZ2021}, editor = {Heinrich, Robert and Durán, Francisco and Talcott, Carolyn L. and Zschaler, Steffen}, ee = {https://doi.org/10.1007/978-3-030-81915-6_7}, interhash = {184f973dcff01653c0145463b5b4804d}, intrahash = {e5b96ecd675fc2c449eea1b5295bc8d6}, isbn = {978-3-030-81915-6}, keywords = {dblp}, pages = {129-158}, publisher = {Springer}, timestamp = {2024-04-09T07:54:34.000+0200}, title = {Exploiting Results of Model-Based Analysis Tools.}, url = {http://dblp.uni-trier.de/db/books/collections/HDTZ2021.html#0001GGLSZ21}, year = 2021 }