BibTeX record conf/qosa/JohnsenLPH14

• > Home > conf/qosa/JohnsenLPH14

@inproceedings{DBLP:conf/qosa/JohnsenLPH14,
  author       = {Andreas Johnsen and
                  Kristina Lundqvist and
                  Paul Pettersson and
                  Kaj H{\"{a}}nninen},
  editor       = {Lionel Seinturier and
                  Tom{\'{a}}s Bures and
                  John D. McGregor},
  title        = {Regression verification of {AADL} models through slicing of system
                  dependence graphs},
  booktitle    = {QoSA'14, Proceedings of the 10th International {ACM} {SIGSOFT} Conference
                  on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul,
                  Lille, France, June 30 - July 04, 2014},
  pages        = {103--112},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2602576.2602589},
  doi          = {10.1145/2602576.2602589},
  timestamp    = {Tue, 06 Nov 2018 16:58:12 +0100},
  biburl       = {https://dblp.org/rec/conf/qosa/JohnsenLPH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}