Estimating the size of an Estelle specification for a communication protocol.

Sun-Jen Huang, Richard Lai

Browse the full COMPSAC paper archive.