BibTeX record conf/somet/RouisBK16

download as .bib file

@inproceedings{DBLP:conf/somet/RouisBK16,
  author       = {Taoufik Sakka Rouis and
                  Mohamed Tahar Bhiri and
                  Mourad Kmimech},
  editor       = {Hamido Fujita and
                  George Angelos Papadopoulos},
  title        = {Behavioral Verification of UML2.0/PoSM Components},
  booktitle    = {New Trends in Software Methodologies, Tools and Techniques - Proceedings
                  of the Fifteenth SoMeT{\_}16, Larnaca, Cyprus, 12-14 September 2016},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {286},
  pages        = {246--257},
  publisher    = {{IOS} Press},
  year         = {2016},
  url          = {https://doi.org/10.3233/978-1-61499-674-3-246},
  doi          = {10.3233/978-1-61499-674-3-246},
  timestamp    = {Fri, 19 May 2017 01:25:53 +0200},
  biburl       = {https://dblp.org/rec/conf/somet/RouisBK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}