%0 Conference Paper %1 conf/codit/DaoudTBH14 %A Daoud, Hayat %A Tanougast, Camel %A Belarbi, Mostefa %A Heil, Mikael %B CoDIT %D 2014 %I IEEE %K dblp %P 730-735 %T Formal specification and verification of wireless networked self-organized Systems on Chip. %U http://dblp.uni-trier.de/db/conf/codit/codit2014.html#DaoudTBH14 %@ 978-1-4799-6773-5

@inproceedings{conf/codit/DaoudTBH14, added-at = {2018-11-14T00:00:00.000+0100}, author = {Daoud, Hayat and Tanougast, Camel and Belarbi, Mostefa and Heil, Mikael}, biburl = {https://www.bibsonomy.org/bibtex/2e9dbd07ba32057c25ff86ea817d960d8/dblp}, booktitle = {CoDIT}, crossref = {conf/codit/2014}, ee = {https://www.wikidata.org/entity/Q57831752}, interhash = {1f3ce28fef91508fac3efe8c4c3713e2}, intrahash = {e9dbd07ba32057c25ff86ea817d960d8}, isbn = {978-1-4799-6773-5}, keywords = {dblp}, pages = {730-735}, publisher = {IEEE}, timestamp = {2018-11-15T17:27:02.000+0100}, title = {Formal specification and verification of wireless networked self-organized Systems on Chip.}, url = {http://dblp.uni-trier.de/db/conf/codit/codit2014.html#DaoudTBH14}, year = 2014 }