UlrichHPB03'

BibTeX

@inproceedings{DBLP:conf/hicss/UlrichHPB03,
  author    = {Andreas Ulrich and
               Hesham Hallal and
               Alexandre Petrenko and
               Sergiy Boroday},
  title     = {Verifying Trustworthiness Requirements in Distributed Systems
               with Formal Log-file Analysis},
  booktitle = {HICSS},
  year      = {2003},
  pages     = {337},
  ee        = {http://computer.org/proceedings/hicss/1874/track9/187490337babs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}