Marshall W. Bern, Howard J. Karloff, et al.
Theoretical Computer Science
Paper
An Algebraic Characterization of Controllability
Abstract
No abstract available.
Related
Conference paper
Performance test case generation for microprocessors
Pradip Bose
VTS 1998
David A. Selby
IBM J. Res. Dev
Hang-Yip Liu, Steffen Schulze, et al.
Proceedings of SPIE - The International Society for Optical Engineering