Login / Signup
Split Phase Multi-channel MAC Protocols - Formal Specification and Analysis.
Abdelaziz El Fatni
Guy Juanole
Published in:
MASCOTS (2012)
Keyphrases
</>
multi channel
formal specification
reverse engineering
databases
petri net
single channel