An Automatic Trace Analysis Tool Generator for Estelle Specifications.

S. Alan Ezust, Gregor von Bochmann

Browse the full SIGCOMM paper archive.