%0 Conference Paper %1 conf/iswpc/SomappaKO13 %A Somappa, Admar Ajith Kumar %A Kristensen, Lars Michael %A Øvsthus, Knut %B ISWPC %D 2013 %I IEEE %K dblp %P 1-7 %T A formal executable specification of the GinMAC protocol for Wireless Sensor Actuator Networks. %U http://dblp.uni-trier.de/db/conf/iswpc/iswpc2013.html#SomappaKO13

@inproceedings{conf/iswpc/SomappaKO13, added-at = {2017-05-26T00:00:00.000+0200}, author = {Somappa, Admar Ajith Kumar and Kristensen, Lars Michael and Øvsthus, Knut}, biburl = {https://www.bibsonomy.org/bibtex/20710e6b0e5a11548bd963d3f514a51d0/dblp}, booktitle = {ISWPC}, crossref = {conf/iswpc/2013}, ee = {https://doi.org/10.1109/ISWPC.2013.6707433}, interhash = {f0a97acec03b331173bb2d08b0843a0e}, intrahash = {0710e6b0e5a11548bd963d3f514a51d0}, keywords = {dblp}, pages = {1-7}, publisher = {IEEE}, timestamp = {2019-10-17T21:46:58.000+0200}, title = {A formal executable specification of the GinMAC protocol for Wireless Sensor Actuator Networks.}, url = {http://dblp.uni-trier.de/db/conf/iswpc/iswpc2013.html#SomappaKO13}, year = 2013 }