%0 Conference Paper %1 conf/icsoc/HiliaCDA16 %A Hilia, Mohamed %A Chibani, Abdelghani %A Djouani, Karim %A Amirat, Yacine %B ICSOC %D 2016 %E Sheng, Quan Z. %E Stroulia, Eleni %E Tata, Samir %E Bhiri, Sami %I Springer %K %P 685-693 %T Formal Specification and Verification Framework for Multi-domain Ubiquitous Environment. %U http://dblp.uni-trier.de/db/conf/icsoc/icsoc2016.html#HiliaCDA16 %V 9936 %@ 978-3-319-46294-3

@inproceedings{conf/icsoc/HiliaCDA16, added-at = {2023-12-12T20:23:27.000+0100}, author = {Hilia, Mohamed and Chibani, Abdelghani and Djouani, Karim and Amirat, Yacine}, biburl = {https://www.bibsonomy.org/bibtex/2df3042496a1890099c525b5b90de9bc2/admin}, booktitle = {ICSOC}, crossref = {conf/icsoc/2016}, editor = {Sheng, Quan Z. and Stroulia, Eleni and Tata, Samir and Bhiri, Sami}, ee = {https://doi.org/10.1007/978-3-319-46295-0_48}, interhash = {2e92a91aa1df8045b399b9e12c0d66a2}, intrahash = {df3042496a1890099c525b5b90de9bc2}, isbn = {978-3-319-46294-3}, keywords = {}, pages = {685-693}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T20:23:27.000+0100}, title = {Formal Specification and Verification Framework for Multi-domain Ubiquitous Environment.}, url = {http://dblp.uni-trier.de/db/conf/icsoc/icsoc2016.html#HiliaCDA16}, volume = 9936, year = 2016 }