John C. Huang

	2006
2		Amitabha Roy, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang: Fast and Generalized Polynomial Time Memory Consistency Verification. CAV 2006: 503-516
1		Amitabha Roy, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang: Fast and Generalized Polynomial Time Memory Consistency Verification CoRR abs/cs/0605039: (2006)

Coauthor Index

1	Charles J. Fleckenstein	[1] [2]
2	Amitabha Roy	[1] [2]
3	Stephan Zeisset	[1] [2]