BibTeX record journals/corr/abs-2004-13290

• > Home > journals/corr/abs-2004-13290

@inproceedings{DBLP:journals/corr/abs-2004-13290,
  author       = {Simon J{\'{o}}zsef Nagy and
                  Bence Graics and
                  Krist{\'{o}}f Marussy and
                  Andr{\'{a}}s V{\"{o}}r{\"{o}}s},
  editor       = {Ansgar Fehnker and
                  Hubert Garavel},
  title        = {Simulation-based Safety Assessment of High-level Reliability Models},
  booktitle    = {Proceedings of the 4th Workshop on Models for Formal Analysis of Real
                  Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020},
  series       = {{EPTCS}},
  volume       = {316},
  pages        = {240--260},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.316.9},
  doi          = {10.4204/EPTCS.316.9},
  timestamp    = {Sat, 09 Apr 2022 12:27:09 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-13290.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}