Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hyun-Wook Jin, Ki-Seok Bang, Chuck Yoo, Jin-Young Choi, Hojung Cha. Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach. In Dragan Bosnacki, Stefan Leue, editors, Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings. Volume 2318 of Lecture Notes in Computer Science, pages 170-186, Springer, 2002. [doi]

This author has not been identified. Look up 'Hyun-Wook Jin' in GoogleThis author has not been identified. Look up 'Ki-Seok Bang' in GoogleThis author has not been identified. Look up 'Chuck Yoo' in GoogleThis author has not been identified. Look up 'Jin-Young Choi' in GoogleThis author has not been identified. Look up 'Hojung Cha' in Google

runs on WebDSL