Login / Signup
Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction.
Shinya Umeno
Published in:
FORMATS (2009)
Keyphrases
</>
real time
event detection
high level
parameter space
network protocols