Sun Mao-shan

A model checking approach to Web application navigation model with session mechanism

Sun Mao-shan, Chen Yi-hai, Chen Sheng-bo, 2010, 2010 International Conference on Computer Application and System Modeling (ICCASM 2010).