DBLP Record 'conf/gc/BuchholtzMPS04'

BibTeX

@inproceedings{DBLP:conf/gc/BuchholtzMPS04,
  author    = {Mikael Buchholtz and
               Carlo Montangero and
               Lara Perrone and
               Simone Semprini},
  title     = {For-LySa: UML for Authentication Analysis},
  booktitle = {Global Computing},
  year      = {2004},
  pages     = {93-106},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3267{\&}spage=93},
  crossref  = {DBLP:conf/gc/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/gc/2004,
  editor    = {Corrado Priami and
               Paola Quaglia},
  title     = {Global Computing, IST/FET International Workshop, GC 2004,
               Rovereto, Italy, March 9-12, 2004, Revised Selected Papers},
  booktitle = {Global Computing},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3267},
  year      = {2005},
  isbn      = {3-540-24101-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}