Cited By
View all- Loo BZhou W(2022)Declarative NetworkingundefinedOnline publication date: 2-Mar-2022
- Chen CLoh LJia LZhou WLoo BFalaschi MAlbert E(2015)Automated verification of safety properties of declarative networking programsProceedings of the 17th International Symposium on Principles and Practice of Declarative Programming10.1145/2790449.2790516(79-90)Online publication date: 14-Jul-2015
- Liu CCorrea RLi XBasu PLoo BMao Y(2012)Declarative policy-based adaptive mobile ad hoc networkingIEEE/ACM Transactions on Networking10.1109/TNET.2011.216585120:3(770-783)Online publication date: 1-Jun-2012
- Show More Cited By