BibTeX record conf/dsd/VuNP21

• > Home > conf/dsd/VuNP21

@inproceedings{DBLP:conf/dsd/VuNP21,
  author       = {Hai{-}Dang Vu and
                  S{\'{e}}bastien Le Nours and
                  S{\'{e}}bastien Pillement},
  editor       = {Francesco Leporati and
                  Salvatore Vitabile and
                  Amund Skavhaug},
  title        = {Experimental Evaluation of Statistical Model Checking Methods for
                  Probabilistic Timing Analysis of Multiprocessor Systems},
  booktitle    = {24th Euromicro Conference on Digital System Design, {DSD} 2021, Virtual
                  Event / Palermo, Sicily, Italy, September 1-3, 2021},
  pages        = {150--157},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/DSD53832.2021.00032},
  doi          = {10.1109/DSD53832.2021.00032},
  timestamp    = {Mon, 12 Dec 2022 15:46:17 +0100},
  biburl       = {https://dblp.org/rec/conf/dsd/VuNP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}