%0 Conference Paper %1 conf/somet/RouisBKM17 %A Rouis, Taoufik Sakka %A Bhiri, Mohamed Tahar %A Kmimech, Mourad %A Moussa, Faouzi %B SoMeT %D 2017 %E Fujita, Hamido %E Selamat, Ali %E Omatu, Sigeru %I IOS Press %K dblp %P 425-440 %T Wr2Fdr Tool Maintenance for Models Checking. %U http://dblp.uni-trier.de/db/conf/somet/somet2017.html#RouisBKM17 %V 297 %@ 978-1-61499-800-6

@inproceedings{conf/somet/RouisBKM17, added-at = {2017-09-11T00:00:00.000+0200}, author = {Rouis, Taoufik Sakka and Bhiri, Mohamed Tahar and Kmimech, Mourad and Moussa, Faouzi}, biburl = {https://www.bibsonomy.org/bibtex/2e42f7947b70aa066b4e0cc118fc7da23/dblp}, booktitle = {SoMeT}, crossref = {conf/somet/2017}, editor = {Fujita, Hamido and Selamat, Ali and Omatu, Sigeru}, ee = {https://doi.org/10.3233/978-1-61499-800-6-425}, interhash = {7db9656335e08c85c97f8e2d316dd9c0}, intrahash = {e42f7947b70aa066b4e0cc118fc7da23}, isbn = {978-1-61499-800-6}, keywords = {dblp}, pages = {425-440}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2024-04-09T17:06:47.000+0200}, title = {Wr2Fdr Tool Maintenance for Models Checking.}, url = {http://dblp.uni-trier.de/db/conf/somet/somet2017.html#RouisBKM17}, volume = 297, year = 2017 }