Anilda Qemali, Gabriele Taentzer. Towards Validation of Session Management in Web Applications based on Graph Transformation. In John L. Pfaltz, Manfred Nagl, Boris Böhlen, editors, Applications of Graph Transformations with Industrial Relevance, Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers. Volume 3062 of Lecture Notes in Computer Science, pages 15-29, Springer, 2003. [doi]
Abstract is missing.