BibTeX record conf/cist/HichamiMABO14

download as .bib file

@inproceedings{DBLP:conf/cist/HichamiMABO14,
  author       = {Outman El Hichami and
                  Badr Eddine El Mohajir and
                  Mohammed Al Achhab and
                  Ismail Berrada and
                  Rachid Oucheikh},
  editor       = {Mohammed El Mohajir and
                  Mohammed Al Achhab and
                  Mohamed Chahhou},
  title        = {Towards formal verification of business process using a graphical
                  specification},
  booktitle    = {Third {IEEE} International Colloquium in Information Science and Technology,
                  {CIST} 2014, Tetouan, Morocco, October 20-22, 2014},
  pages        = {12--17},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/CIST.2014.7016587},
  doi          = {10.1109/CIST.2014.7016587},
  timestamp    = {Sat, 30 Sep 2023 09:37:11 +0200},
  biburl       = {https://dblp.org/rec/conf/cist/HichamiMABO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.