W. Lindsay
发表
Giovanni Squillero,
Matteo Sonza Reorda,
Ernesto Sánchez,
2004,
Fifth International Workshop on Microprocessor Test and Verification (MTV'04).
P. Ramanathan,
W. Lindsay,
1997,
Proceedings of 22nd Annual Conference on Local Computer Networks.