Zuohua Ding, Mingyue Jiang, Geguang Pu, Jeff W. Sanders. Modelling and Verification of Web Navigation. In Martin Gaedke, Michael Grossniklaus, Oscar Díaz, editors, Web Engineering, 9th International Conference, ICWE 2009, San Sebastián, Spain, June 24-26, 2009, Proceedings. Volume 5648 of Lecture Notes in Computer Science, pages 181-188, Springer, 2009. [doi]
Abstract is missing.