BibTeX record conf/arch/AbateBBCCDHHKLM21

• > Home > conf/arch/AbateBBCCDHHKLM21

@inproceedings{DBLP:conf/arch/AbateBBCCDHHKLM21,
  author       = {Alessandro Abate and
                  Henk A. P. Blom and
                  Marc Bouissou and
                  Nathalie Cauchi and
                  Hassane Chraibi and
                  Joanna Delicaris and
                  Sofie Haesaert and
                  Arnd Hartmanns and
                  Mahmoud Khaled and
                  Abolfazl Lavaei and
                  Hao Ma and
                  Kaushik Mallik and
                  Mathis Niehage and
                  Anne Remke and
                  Stefan Schupp and
                  Fedor Shmarov and
                  Sadegh Soudjani and
                  Adam Thorpe and
                  Vlad Turcuman and
                  Paolo Zuliani},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {{ARCH-COMP21} Category Report: Stochastic Models},
  booktitle    = {8th International Workshop on Applied Verification of Continuous and
                  Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021},
  series       = {EPiC Series in Computing},
  volume       = {80},
  pages        = {55--89},
  publisher    = {EasyChair},
  year         = {2021},
  url          = {https://doi.org/10.29007/dprv},
  doi          = {10.29007/DPRV},
  timestamp    = {Sat, 11 Jun 2022 11:17:33 +0200},
  biburl       = {https://dblp.org/rec/conf/arch/AbateBBCCDHHKLM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}