@ARTICLE{nanz-nielson-nielson:2010:static, author = {Sebastian Nanz and Flemming Nielson and Hanne Riis Nielson}, title = {Static analysis of topology-dependent broadcast networks}, journal = {Information and Computation}, year = {2010}, volume = {208}, pages = {117-139}, number = {2}, urltopdf = {http://dx.doi.org/10.1016/j.ic.2009.10.003}, }