BibTeX record journals/siu/RusuC09

download as .bib file

@article{DBLP:journals/siu/RusuC09,
  author    = {Vlad Rusu and
               Manuel Clavel},
  title     = {V{\'{e}}rification d'invariants pour des syst{\`{e}}mes sp{\'{e}}cifi{\'{e}}s
               en logique de r{\'{e}}{\'{e}}criture},
  journal   = {Stud. Inform. Univ.},
  volume    = {7},
  number    = {2},
  pages     = {83--112},
  year      = {2009},
  url       = {http://studia.complexica.net/index.php?option=com\_content\&view=article\&id=129},
  timestamp = {Fri, 09 Nov 2012 20:33:55 +0100},
  biburl    = {https://dblp.org/rec/journals/siu/RusuC09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics