TY - JOUR T1 - Rule-based static analysis of network protocol implementations JF - Information and Computation Y1 - 2008 A1 - Udrea,O. A1 - Lumezanu,C. A1 - Foster, Jeffrey S. VL - 206 CP - 2 ER -