Login / Signup
A Proof for Lack of Starvation in DQDB with and without Slot Reuse.
Oran Sharon
Published in:
INFOCOM (1995)
Keyphrases
</>
theorem proving
real time
data sets
neural network
artificial intelligence
wireless sensor networks
wide variety
software reuse
reusable components
proof theory
geometry theorem proving