BibTeX record conf/sera/OuchaniMDP10

download as .bib file

@inproceedings{DBLP:conf/sera/OuchaniMDP10,
  author       = {Samir Ouchani and
                  Otmane A{\"{\i}}t Mohamed and
                  Mourad Debbabi and
                  Makan Pourzandi},
  editor       = {Roger Y. Lee and
                  Olga Ormandjieva and
                  Alain Abran and
                  Constantinos Constantinides},
  title        = {Verification of the Correctness in Composed {UML} Behavioural Diagrams},
  booktitle    = {Software Engineering Research, Management and Applications 2010 [selected
                  papers from the 8th {ACIS} International Conference on Software Engineering
                  Research, Management and Applications, {SERA} 2010, Montreal, Canada,
                  May 24-26, 2010]},
  series       = {Studies in Computational Intelligence},
  volume       = {296},
  pages        = {163--177},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13273-5\_11},
  doi          = {10.1007/978-3-642-13273-5\_11},
  timestamp    = {Wed, 14 Nov 2018 10:56:04 +0100},
  biburl       = {https://dblp.org/rec/conf/sera/OuchaniMDP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics