%0 Journal Article %1 journals/tkde/MaLRL16 %A Ma, Jiefei %A Le, Franck %A Russo, Alessandra %A Lobo, Jorge %D 2016 %J IEEE Trans. Knowl. Data Eng. %K %N 6 %P 1489-1502 %T Declarative Framework for Specification, Simulation and Analysis of Distributed Applications. %U http://dblp.uni-trier.de/db/journals/tkde/tkde28.html#MaLRL16 %V 28

@article{journals/tkde/MaLRL16, added-at = {2023-12-13T00:24:21.000+0100}, author = {Ma, Jiefei and Le, Franck and Russo, Alessandra and Lobo, Jorge}, biburl = {https://www.bibsonomy.org/bibtex/2670fe0b09727bddaca410202c3a0601f/admin}, ee = {http://doi.ieeecomputersociety.org/10.1109/TKDE.2016.2515604}, interhash = {62dfd90a0616d8b8e3fecf97261d7298}, intrahash = {670fe0b09727bddaca410202c3a0601f}, journal = {IEEE Trans. Knowl. Data Eng.}, keywords = {}, number = 6, pages = {1489-1502}, timestamp = {2023-12-13T00:24:21.000+0100}, title = {Declarative Framework for Specification, Simulation and Analysis of Distributed Applications.}, url = {http://dblp.uni-trier.de/db/journals/tkde/tkde28.html#MaLRL16}, volume = 28, year = 2016 }