DBLP Record 'conf/isim/2007wfm'

BibTeX

@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}
}