default search action
BibTeX record 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} }
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.