Authors: HUANG CM HSU JM LAI HY HUANG DT PONG JC

Citation: Cm. Huang et al., AN ESTELLE-BASED INCREMENTAL PROTOCOL DESIGN SYSTEM, The Journal of systems and software, 36(2), 1997, pp. 115-135