Charuwalee Huadmai. Verification of routing policies by using model checking technique. In IEEE 6th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, IDAACS 2011, Prague, Czech Republic, September 15-17, 2011, Volume 2. pages 711-716, IEEE, 2011. [doi]
Abstract is missing.