wlan_time_bounded.pctl 158 Bytes
 1
 2
 3
 4
 5
// A STATION SEND THEIR PACKET EVENTUALLY
// minimum probability
Pmin=? [ true U s1=12 & s2=12 ]
Pmin=? [ true U s1=12 | s2=12 ]
Pmin=? [ true U s1=12 ]