BibTeX record conf/ciia/AbedM09

download as .bib file

@inproceedings{DBLP:conf/ciia/AbedM09,
  author       = {Sa'ed Abed and
                  Otmane A{\"{\i}}t Mohamed},
  editor       = {Abdelmalek Amine and
                  Otmane A{\"{\i}}t Mohamed and
                  Zakaria Elberrichi},
  title        = {LCF-style for Secure Verification Platform based on Multiway Decision
                  Graphs},
  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/paper3.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:22 +0100},
  biburl       = {https://dblp.org/rec/conf/ciia/AbedM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics