BibTeX record journals/informaticaSI/MazouzMB17

download as .bib file

@article{DBLP:journals/informaticaSI/MazouzMB17,
  author       = {Mihoub Mazouz and
                  Farid Mokhati and
                  Mourad Badri},
  title        = {Formal Development of Multi-Agent Systems with {FPASSI:} Towards Formalizing
                  {PASSI} Methodology using Rewriting Logic},
  journal      = {Informatica (Slovenia)},
  volume       = {41},
  number       = {2},
  year         = {2017},
  url          = {http://www.informatica.si/index.php/informatica/article/view/1271},
  timestamp    = {Tue, 16 Feb 2021 08:58:56 +0100},
  biburl       = {https://dblp.org/rec/journals/informaticaSI/MazouzMB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics