%0 Book Section %1 books/sp/21/0001HTZ21a %A Durán, Francisco %A Heinrich, Robert %A Talcott, Carolyn L. %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 301-307 %T Conclusion. %U http://dblp.uni-trier.de/db/books/collections/HDTZ2021.html#0001HTZ21a %@ 978-3-030-81915-6

@incollection{books/sp/21/0001HTZ21a, added-at = {2022-05-25T00:00:00.000+0200}, author = {Durán, Francisco and Heinrich, Robert and Talcott, Carolyn L. and Zschaler, Steffen}, biburl = {https://www.bibsonomy.org/bibtex/2b18469018cf814ff18c291eb8d0dfb20/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_14}, interhash = {d34e9a192592c1a7898fade6fa6a2491}, intrahash = {b18469018cf814ff18c291eb8d0dfb20}, isbn = {978-3-030-81915-6}, keywords = {dblp}, pages = {301-307}, publisher = {Springer}, timestamp = {2024-04-09T07:54:34.000+0200}, title = {Conclusion.}, url = {http://dblp.uni-trier.de/db/books/collections/HDTZ2021.html#0001HTZ21a}, year = 2021 }