2004w'

@proceedings{DBLP:conf/forte/2004w,
  editor    = {Manuel N{\'u}{\~n}ez and
               Zakaria Maamar and
               Fernando L. Pelayo and
               Key Pousttchi and
               Fernando Rubio},
  title     = {Applying Formal Methods: Testing, Performance and M/ECommerce,
               FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain,
               October 1-2, 2004},
  booktitle = {FORTE Workshops},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3236},
  year      = {2004},
  isbn      = {3-540-23169-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}