DBLP Record 'conf/isim/KrivkaM07'

BibTeX

@inproceedings{DBLP:conf/isim/KrivkaM07,
  author    = {Zbynek Krivka and
               Alexander Meduna},
  title     = {Generalized \#-Rewriting Systems of Finite Index},
  booktitle = {Workshop on Formal Models},
  year      = {2007},
  ee        = {http://ceur-ws.org/Vol-255/paper05.pdf},
  crossref  = {DBLP:conf/isim/2007wfm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/isim/2007wfm,
  editor    = {Alica Kelemenov{\'a} and
               Dusan Kolar and
               Alexander Meduna},
  title     = {Proceedings of the 2nd International Workshop on Formal
               Models WFM'07, Hradec nad Moravic\'{\i}, Czech Republic,
               April 23-25, 2007},
  booktitle = {WFM},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {255},
  year      = {2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}