David A. Cape

	2009
3		David A. Cape, Bruce M. McMillin: Dihomotopic Reduction Used in Deadlock Detection. COMPSAC (1) 2009: 648-651
	2007
2		Yan Sun, Bruce M. McMillin, Xiaoqing Frank Liu, David A. Cape: Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid. QSIC 2007: 363-369
	2006
1		David A. Cape, Bruce M. McMillin, James K. Townsend: Model Checking Control Communication of a FACTS Device. ICPP Workshops 2006: 391-396

Coauthor Index

1	Xiaoqing Frank Liu	[2]
2	Bruce M. McMillin	[1] [2] [3]
3	Yan Lindsay Sun (Yan Sun)	[2]
4	James K. Townsend	[1]