BibTeX record conf/ismis/ChabaneHH11

download as .bib file

@inproceedings{DBLP:conf/ismis/ChabaneHH11,
  author       = {Yahia Chabane and
                  Fran{\c{c}}ois Hantry and
                  Mohand{-}Said Hacid},
  editor       = {Dominik Ryzko and
                  Henryk Rybinski and
                  Piotr Gawrysiak and
                  Marzena Kryszkiewicz},
  title        = {Querying and Splitting Techniques for {SBA:} {A} Model Checking Based
                  Approach},
  booktitle    = {Emerging Intelligent Technologies in Industry, 19th International
                  Symposium, {ISMIS} 2011, Warsaw, Poland, June 28-30, 2011. Proceedings
                  of the Industrial Session},
  series       = {Studies in Computational Intelligence},
  volume       = {369},
  pages        = {105--122},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22732-5\_10},
  doi          = {10.1007/978-3-642-22732-5\_10},
  timestamp    = {Sat, 19 Oct 2019 20:13:57 +0200},
  biburl       = {https://dblp.org/rec/conf/ismis/ChabaneHH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics