Efficient Verification of Timing-Related Network Functions in High-Speed Hardware.

Tianqi Fang, Lisong Xu, Witawas Srisa-an

Browse the full INFOCOM paper archive.