scholarly journals Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks

2018 ◽  
pp. 38-54 ◽  
Author(s):  
A. R. Balasubramanian ◽  
Nathalie Bertrand ◽  
Nicolas Markey
Keyword(s):  
Broadcast Networks ◽  
Parameterized Verification

scholarly journals An Automatic Proving Approach to Parameterized Verification

2018 ◽  
Vol 19 (4) ◽  
pp. 1-25 ◽  
Author(s):  
Yongjian Li ◽  
Kaiqiang Duan ◽  
David N. Jansen ◽  
Jun Pang ◽  
Lijun Zhang ◽  
...  
Keyword(s):  
Parameterized Verification

Saturation Performance of IEEE 802.11 Broadcast Networks

2007 ◽  
Vol 11 (8) ◽  
pp. 686-688 ◽  
Author(s):  
Xiaomin Ma ◽  
Xianbo Chen
Keyword(s):  
Ieee 802.11 ◽  
Broadcast Networks

A doubling procedure for constructing minimal broadcast networks

1994 ◽  
Vol 3 (3) ◽  
pp. 259-293 ◽  
Author(s):  
Michael X. Weng ◽  
Jose A. Ventura
Keyword(s):  
Broadcast Networks
Sign in / Sign up

Export Citation Format

Share Document