%0 Journal Article %1 journals/adt/CheLMM15 %A Che, Xiaoping %A López, Jorge %A Maag, Stéphane %A Morales, Gerardo %D 2015 %J Ann. des Télécommunications %K %N 3-4 %P 95-105 %T Testing trust properties using a formal distributed network monitoring approach. %U http://dblp.uni-trier.de/db/journals/adt/adt70.html#CheLMM15 %V 70

@article{journals/adt/CheLMM15, added-at = {2023-12-13T01:07:32.000+0100}, author = {Che, Xiaoping and López, Jorge and Maag, Stéphane and Morales, Gerardo}, biburl = {https://www.bibsonomy.org/bibtex/21f7c03a582206fc57f7162042823e2c3/admin}, ee = {https://doi.org/10.1007/s12243-014-0454-3}, interhash = {6d2055c849d4563d9f677516f306da33}, intrahash = {1f7c03a582206fc57f7162042823e2c3}, journal = {Ann. des Télécommunications}, keywords = {}, number = {3-4}, pages = {95-105}, timestamp = {2023-12-13T01:07:32.000+0100}, title = {Testing trust properties using a formal distributed network monitoring approach.}, url = {http://dblp.uni-trier.de/db/journals/adt/adt70.html#CheLMM15}, volume = 70, year = 2015 }