An optimized contention protocol for broadband networks
ACM Transactions on Computer Systems (TOCS)
A design-for-verification framework for a configurable performance-critical communication interface
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Hi-index | 0.00 |