Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa. Wr2Fdr Tool Maintenance for Models Checking. In Hamido Fujita, Ali Selamat, Sigeru Omatu, editors, New Trends in Intelligent Software Methodologies, Tools and Techniques - Proceedings of the 16th International Conference, SoMeT_17, Kitakyushu City, Japan, September 26-28, 2017. Volume 297 of Frontiers in Artificial Intelligence and Applications, pages 425-440, IOS Press, 2017. [doi]
@inproceedings{RouisBKM17,
title = {Wr2Fdr Tool Maintenance for Models Checking},
author = {Taoufik Sakka Rouis and Mohamed Tahar Bhiri and Mourad Kmimech and Faouzi Moussa},
year = {2017},
doi = {10.3233/978-1-61499-800-6-425},
url = {https://doi.org/10.3233/978-1-61499-800-6-425},
researchr = {https://researchr.org/publication/RouisBKM17},
cites = {0},
citedby = {0},
pages = {425-440},
booktitle = {New Trends in Intelligent Software Methodologies, Tools and Techniques - Proceedings of the 16th International Conference, SoMeT_17, Kitakyushu City, Japan, September 26-28, 2017},
editor = {Hamido Fujita and Ali Selamat and Sigeru Omatu},
volume = {297},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {978-1-61499-800-6},
}