%0 Journal Article %1 journals/tase/XuKP13 %A Xu, Songyan %A Kumar, Ratnesh %A Pinto, Alessandro %D 2013 %J IEEE Trans Autom. Sci. Eng. %K dblp %N 1 %P 137-144 %T Correct-by-Construction and Optimal Synthesis of Beacon-Enabled ZigBee Network. %U http://dblp.uni-trier.de/db/journals/tase/tase10.html#XuKP13 %V 10

@article{journals/tase/XuKP13, added-at = {2024-05-07T00:00:00.000+0200}, author = {Xu, Songyan and Kumar, Ratnesh and Pinto, Alessandro}, biburl = {https://www.bibsonomy.org/bibtex/2fab61b24d7d42b812e5de0526426ed18/dblp}, ee = {https://doi.org/10.1109/TASE.2012.2203303}, interhash = {59ea618251cc130c166a4f84f3dc99f5}, intrahash = {fab61b24d7d42b812e5de0526426ed18}, journal = {IEEE Trans Autom. Sci. Eng.}, keywords = {dblp}, number = 1, pages = {137-144}, timestamp = {2024-05-13T07:56:04.000+0200}, title = {Correct-by-Construction and Optimal Synthesis of Beacon-Enabled ZigBee Network.}, url = {http://dblp.uni-trier.de/db/journals/tase/tase10.html#XuKP13}, volume = 10, year = 2013 }