BibTeX record conf/ciia/ZoubeyrTT09

download as .bib file

@inproceedings{DBLP:conf/ciia/ZoubeyrTT09,
  author       = {Farah Zoubeyr and
                  Abdelkamel Tari and
                  Zahir Tari},
  editor       = {Abdelmalek Amine and
                  Otmane A{\"{\i}}t Mohamed and
                  Zakaria Elberrichi},
  title        = {Une Technique de Validation de Protocoles bas{\'{e}}e sur une
                  Exploration avec Retour arri{\`{e}}re des Automates Complexes},
  booktitle    = {Proceedings of the 2nd Conf{\'{e}}rence Internationale sur l'Informatique
                  et ses Applications (CIIA'09), Saida, Algeria, May 3-4, 2009},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {547},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-547/72.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:22 +0100},
  biburl       = {https://dblp.org/rec/conf/ciia/ZoubeyrTT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics