Cited By
View all- 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
- Loo BZhou W(2012)Declarative NetworkingSynthesis Lectures on Data Management10.2200/S00403ED1V01Y201202DTM0234:1(1-129)Online publication date: 31-Jan-2012
- 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