DBLP BibTeX Record 'conf/isim/2007wfm'

@proceedings{DBLP:conf/isim/2007wfm,
  editor    = {Alica Kelemenov{\'a} and
               Dusan Kol{\'a}r 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}
}