BibTeX record conf/ecsa/Mesli-KesraouiK16

• > Home > conf/ecsa/Mesli-KesraouiK16

@inproceedings{DBLP:conf/ecsa/Mesli-KesraouiK16,
  author       = {Soraya Mesli{-}Kesraoui and
                  Djamal Kesraoui and
                  Fl{\'{a}}vio Oquendo and
                  Alain Bignon and
                  Armand Toguy{\'{e}}ni and
                  Pascal Berruet},
  editor       = {Bedir Tekinerdogan and
                  Uwe Zdun and
                  Muhammad Ali Babar},
  title        = {Formal Verification of Software-Intensive Systems Architectures Described
                  with Piping and Instrumentation Diagrams},
  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        = {210--226},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-48992-6\_16},
  doi          = {10.1007/978-3-319-48992-6\_16},
  timestamp    = {Fri, 14 Apr 2023 23:05:45 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsa/Mesli-KesraouiK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}