O. Frieder
-
Timed protocol verification for Estelle-specified protocols
ACM SIGCOMM Computer Communication Review
Experimentation with Hypercube Database Engines
IEEE Micro
PPP (P3): an Estelle-based probabilistic partial protocol verification system
Computer Communications