BibTeX record conf/RelMiCS/LouhichiMJBM09

• > Home > conf/RelMiCS/LouhichiMJBM09

@inproceedings{DBLP:conf/RelMiCS/LouhichiMJBM09,
  author       = {Asma Louhichi and
                  Olfa Mraihi and
                  Lamia Labed Jilani and
                  Khaled Bsa{\"{\i}}es and
                  Ali Mili},
  editor       = {Rudolf Berghammer and
                  Ali Jaoua and
                  Bernhard M{\"{o}}ller},
  title        = {Relational Methods in the Analysis of While Loops: Observations of
                  Versatility},
  booktitle    = {Relations and Kleene Algebra in Computer Science, 11th International
                  Conference on Relational Methods in Computer Science, RelMiCS 2009,
                  and 6th International Conference on Applications of Kleene Algebra,
                  {AKA} 2009, Doha, Qatar, November 1-5, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5827},
  pages        = {242--259},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04639-1\_17},
  doi          = {10.1007/978-3-642-04639-1\_17},
  timestamp    = {Wed, 31 Jan 2024 20:36:03 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/LouhichiMJBM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}