BibTeX record conf/arch/AbateBCDHKLPRSS20

• > Home > conf/arch/AbateBCDHKLPRSS20

@inproceedings{DBLP:conf/arch/AbateBCDHKLPRSS20,
  author       = {Alessandro Abate and
                  Henk A. P. Blom and
                  Nathalie Cauchi and
                  Joanna Delicaris and
                  Arnd Hartmanns and
                  Mahmoud Khaled and
                  Abolfazl Lavaei and
                  Carina Pilch and
                  Anne Remke and
                  Stefan Schupp and
                  Fedor Shmarov and
                  Sadegh Soudjani and
                  Abraham P. Vinod and
                  Ben Wooding and
                  Majid Zamani and
                  Paolo Zuliani},
  title        = {{ARCH-COMP20} Category Report: Stochastic Models},
  booktitle    = {{ARCH20.} 7th International Workshop on Applied Verification of Continuous
                  and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020},
  series       = {EPiC Series in Computing},
  volume       = {74},
  pages        = {76--106},
  publisher    = {EasyChair},
  year         = {2020},
  url          = {https://doi.org/10.29007/mqzc},
  doi          = {10.29007/MQZC},
  timestamp    = {Tue, 20 Dec 2022 14:49:49 +0100},
  biburl       = {https://dblp.org/rec/conf/arch/AbateBCDHKLPRSS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}