Daniel M. Bikel, Vittorio Castelli
ACL 2008
Paper
An Algebraic Characterization of Controllability
Related
Matthias Kaiserswerth
IEEE/ACM Transactions on Networking
M.F. Cowlishaw
IBM Systems Journal
Conference paper
Performance test case generation for microprocessors
Pradip Bose
VTS 1998