Proceedings of the Third International Workshop on Security and Rewriting Techniques (SecReT 2008). Dougherty, D. J. & Escobar, S., editors Volume 234of Electronic Notes in Theoretical Computer Science2009.
bibtex   
@proceedings{ e_secret08,
  title = {Proceedings of the Third International Workshop on
                  Security and Rewriting Techniques (SecReT 2008)},
  editor = {Daniel J. Dougherty and Santiago Escobar},
  series = {Electronic Notes in Theoretical Computer Science},
  volume = {234},
  year = {2009},
  pages = {1--2},
  issn = {1571-0661}
}

Downloads: 0