BibTeX record conf/ecsa/CavalcanteQTOBL16

• > Home > conf/ecsa/CavalcanteQTOBL16

@inproceedings{DBLP:conf/ecsa/CavalcanteQTOBL16,
  author       = {Everton Cavalcante and
                  Jean Quilbeuf and
                  Louis{-}Marie Traonouez and
                  Fl{\'{a}}vio Oquendo and
                  Tha{\'{\i}}s Batista and
                  Axel Legay},
  editor       = {Bedir Tekinerdogan and
                  Uwe Zdun and
                  Muhammad Ali Babar},
  title        = {Statistical Model Checking of Dynamic Software Architectures},
  booktitle    = {Software Architecture - 10th European Conference, {ECSA} 2016, Copenhagen,
                  Denmark, November 28 - December 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9839},
  pages        = {185--200},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-48992-6\_14},
  doi          = {10.1007/978-3-319-48992-6\_14},
  timestamp    = {Fri, 14 Apr 2023 23:05:45 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsa/CavalcanteQTOBL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}