BibTeX record conf/ieaaie/GargouriJH01

download as .bib file

@inproceedings{DBLP:conf/ieaaie/GargouriJH01,
  author       = {Bilel Gargouri and
                  Mohamed Jmaiel and
                  Abdelmajid Ben Hamadou},
  editor       = {Laszlo Monostori and
                  J{\'{o}}zsef V{\'{a}}ncza and
                  Moonis Ali},
  title        = {An Environment for Formal Specification and Verification of Lingware},
  booktitle    = {Engineering of Intelligent Systems, 14th International Conference
                  on Industrial and Engineering Applications of Artificial Intelligence
                  and Expert Systems, {IEA/AIE} 2001, Budapest, Hungary, June 4-7, 2001,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2070},
  pages        = {539--545},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45517-5\_60},
  doi          = {10.1007/3-540-45517-5\_60},
  timestamp    = {Thu, 14 Oct 2021 10:11:42 +0200},
  biburl       = {https://dblp.org/rec/conf/ieaaie/GargouriJH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics