Model-checking large network protocol implementations

In  in NSDI 2004: First symposium on Networked Systems Design and Implementation

Publisher  USENIX
All copyrights reserved by USENIX 2007

Details

TypeProceedings
> Publications > Model-checking large network protocol implementations