![]() | ![]() |
| 2008 | ||
|---|---|---|
| 2 | Yiwen Liang, Wenjun Deng: Verify Consistency between Security Policy and Firewall Policy with Answer Set Programming. CSSE (1) 2008: 196-200 | |
| 1 | Wenjun Deng, Yiwen Liang: Reason on UML Diagrams with Answer Set Programming. CSSE (1) 2008: 205-209 | |
| 1 | Yiwen Liang | [1] [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page