Login / Signup

UTRA TDD protocol operation.

Christina GessnerReinhard KöhnJörg SchniedenharnArmin Sitte
Published in: PIMRC (2000)
Keyphrases
  • lightweight
  • formal analysis
  • tcp ip
  • ip address
  • coloured petri nets