%0 Journal Article %1 journals/tosem/El-HokayemF20 %A El-Hokayem, Antoine %A Falcone, Yliès %D 2020 %J ACM Trans. Softw. Eng. Methodol. %K dblp %N 1 %P 1:1-1:57 %T On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation. %U http://dblp.uni-trier.de/db/journals/tosem/tosem29.html#El-HokayemF20 %V 29

@article{journals/tosem/El-HokayemF20, added-at = {2022-01-08T00:00:00.000+0100}, author = {El-Hokayem, Antoine and Falcone, Yliès}, biburl = {https://www.bibsonomy.org/bibtex/27ed7f6eaa292c686bb32530ab84d3ecb/dblp}, ee = {https://doi.org/10.1145/3355181}, interhash = {414fe432f4fe5ea34da6f300a9cf683e}, intrahash = {7ed7f6eaa292c686bb32530ab84d3ecb}, journal = {ACM Trans. Softw. Eng. Methodol.}, keywords = {dblp}, number = 1, pages = {1:1-1:57}, timestamp = {2024-04-09T02:03:06.000+0200}, title = {On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation.}, url = {http://dblp.uni-trier.de/db/journals/tosem/tosem29.html#El-HokayemF20}, volume = 29, year = 2020 }