Wenjun Deng

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008

2 EE Yiwen Liang, Wenjun Deng: Verify Consistency between Security Policy and Firewall Policy with Answer Set Programming. CSSE (1) 2008: 196-200

1 EE Wenjun Deng, Yiwen Liang: Reason on UML Diagrams with Answer Set Programming. CSSE (1) 2008: 205-209

2008
2	EE	Yiwen Liang, Wenjun Deng: Verify Consistency between Security Policy and Firewall Policy with Answer Set Programming. CSSE (1) 2008: 196-200
1	EE	Wenjun Deng, Yiwen Liang: Reason on UML Diagrams with Answer Set Programming. CSSE (1) 2008: 205-209

Coauthor Index

1 Yiwen Liang [1] [2]