Towards Validation of Session Management in Web Applications based on Graph Transformation

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]

@inproceedings{QemaliT03,
  title = {Towards Validation of Session Management in Web Applications based on Graph Transformation},
  author = {Anilda Qemali and Gabriele Taentzer},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3062&spage=15},
  tags = {rule-based, graph transformation, graph-rewriting, web applications, rewriting, transformation},
  researchr = {https://researchr.org/publication/QemaliT03},
  cites = {0},
  citedby = {0},
  pages = {15-29},
  booktitle = {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},
  editor = {John L. Pfaltz and Manfred Nagl and Boris Böhlen},
  volume = {3062},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22120-4},
}