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]
@inproceedings{Huadmai11, title = {Verification of routing policies by using model checking technique}, author = {Charuwalee Huadmai}, year = {2011}, doi = {10.1109/IDAACS.2011.6072863}, url = {http://dx.doi.org/10.1109/IDAACS.2011.6072863}, researchr = {https://researchr.org/publication/Huadmai11}, cites = {0}, citedby = {0}, pages = {711-716}, booktitle = {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}, publisher = {IEEE}, isbn = {978-1-4577-1426-9}, }