BibTeX record conf/compsac/GouasmiRK12

• > Home > conf/compsac/GouasmiRK12

@inproceedings{DBLP:conf/compsac/GouasmiRK12,
  author       = {Thouraya Gouasmi and
                  Amira Regayeg and
                  Ahmed Hadj Kacem},
  editor       = {Xiaoying Bai and
                  Fevzi Belli and
                  Elisa Bertino and
                  Carl K. Chang and
                  Atilla El{\c{c}}i and
                  Cristina Cerschi Seceleanu and
                  Haihua Xie and
                  Mohammad Zulkernine},
  title        = {Automatic Generation of an Operational {CSP-Z} Specification from
                  an Abstract Temporal{\^{}}Z Specification},
  booktitle    = {36th Annual {IEEE} Computer Software and Applications Conference Workshops,
                  {COMPSAC} 2012, Izmir, Turkey, July 16-20, 2012},
  pages        = {248--253},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/COMPSACW.2012.53},
  doi          = {10.1109/COMPSACW.2012.53},
  timestamp    = {Mon, 26 Jun 2023 20:44:13 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/GouasmiRK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}