Erich P. Stuntebeck, John S. Davis II, et al.
HotMobile 2008
Conference paper
Alternating pushdown automata
Related
Raymond Wu, Jie Lu
ITA Conference 2007
Conference paper
Performance test case generation for microprocessors
Pradip Bose
VTS 1998
Ehud Altman, Kenneth R. Brown, et al.
PRX Quantum