%0 Journal Article %1 journals/scp/VolgyesiMDOL05 %A Völgyesi, Péter %A Maróti, Miklós %A Dóra, Sebestyen %A Osses, Esteban %A Lédeczi, Ákos %D 2005 %J Sci. Comput. Program. %K dblp %N 1-2 %P 191-210 %T Software composition and verification for sensor networks. %U http://dblp.uni-trier.de/db/journals/scp/scp56.html#VolgyesiMDOL05 %V 56

@article{journals/scp/VolgyesiMDOL05, added-at = {2021-02-17T00:00:00.000+0100}, author = {Völgyesi, Péter and Maróti, Miklós and Dóra, Sebestyen and Osses, Esteban and Lédeczi, Ákos}, biburl = {https://www.bibsonomy.org/bibtex/2b7b1f0d8d54765ed7a5a0784d03be458/dblp}, ee = {https://doi.org/10.1016/j.scico.2004.11.012}, interhash = {c3daad7b4996b29aaafe3b120956d84d}, intrahash = {b7b1f0d8d54765ed7a5a0784d03be458}, journal = {Sci. Comput. Program.}, keywords = {dblp}, number = {1-2}, pages = {191-210}, timestamp = {2024-04-09T05:29:27.000+0200}, title = {Software composition and verification for sensor networks.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp56.html#VolgyesiMDOL05}, volume = 56, year = 2005 }