Login / Signup

Modelling and Performance Analysis of IEEE 802.11 DCF Using Coloured Petri Nets.

Xiang HuLi JiaoZhijia Li
Published in: Comput. J. (2016)
Keyphrases
  • coloured petri nets
  • formal verification
  • wireless lan
  • information retrieval
  • intelligent agent technology
  • data sets
  • databases
  • real world
  • website
  • video sequences
  • international conference
  • conceptual modelling