%0 Journal Article %1 journals/scp/JafariKSHC16 %A Jafari, Ali %A Khamespanah, Ehsan %A Sirjani, Marjan %A Hermanns, Holger %A Cimini, Matteo %D 2016 %J Sci. Comput. Program. %K %P 22-50 %T PTRebeca: Modeling and analysis of distributed and asynchronous systems. %U http://dblp.uni-trier.de/db/journals/scp/scp128.html#JafariKSHC16 %V 128

@article{journals/scp/JafariKSHC16, added-at = {2023-12-13T03:16:24.000+0100}, author = {Jafari, Ali and Khamespanah, Ehsan and Sirjani, Marjan and Hermanns, Holger and Cimini, Matteo}, biburl = {https://www.bibsonomy.org/bibtex/257fb27f176bd0eccc82334681fce2d04/admin}, ee = {http://dx.doi.org/10.1016/j.scico.2016.03.004}, interhash = {89716811f1585d74e7ee33fc60186fde}, intrahash = {57fb27f176bd0eccc82334681fce2d04}, journal = {Sci. Comput. Program.}, keywords = {}, pages = {22-50}, timestamp = {2023-12-13T03:16:24.000+0100}, title = {PTRebeca: Modeling and analysis of distributed and asynchronous systems.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp128.html#JafariKSHC16}, volume = 128, year = 2016 }