Blame view
prism-4.3-linux64/examples/wlan/wlan_time_bounded.pctl
158 Bytes
8146dcf82
first commit
|
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 ] |