DBLP Record 'conf/forte/HanebergRS04'

BibTeX

@inproceedings{DBLP:conf/forte/HanebergRS04,
  author    = {Dominik Haneberg and
               Wolfgang Reif and
               Kurt Stenzel},
  title     = {A Construction Kit for Modeling the Security of M-commerce
               Applications},
  booktitle = {FORTE Workshops},
  year      = {2004},
  pages     = {72-85},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3236{\&}spage=72},
  crossref  = {DBLP:conf/forte/2004w},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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