BibTeX record books/sp/21/RatiuNMCV21

• > Home > books/sp/21/RatiuNMCV21

@incollection{DBLP:books/sp/21/RatiuNMCV21,
  author       = {Daniel Ratiu and
                  Arne Nordmann and
                  Peter Munk and
                  Carmen C{\^{a}}rlan and
                  Markus Voelter},
  editor       = {Antonio Bucchiarone and
                  Antonio Cicchetti and
                  Federico Ciccozzi and
                  Alfonso Pierantonio},
  title        = {{FASTEN:} An Extensible Platform to Experiment with Rigorous Modeling
                  of Safety-Critical Systems},
  booktitle    = {Domain-Specific Languages in Practice: with JetBrains {MPS}},
  pages        = {131--164},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-73758-0\_5},
  doi          = {10.1007/978-3-030-73758-0\_5},
  timestamp    = {Wed, 10 Aug 2022 13:44:12 +0200},
  biburl       = {https://dblp.org/rec/books/sp/21/RatiuNMCV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}