BorodayHPU03'

@inproceedings{DBLP:conf/ista/BorodayHPU03,
  author    = {Sergiy Boroday and
               Hesham Hallal and
               Alexandre Petrenko and
               Andreas Ulrich},
  title     = {Formal Modeling of Communication Traces},
  booktitle = {ISTA},
  year      = {2003},
  pages     = {97-108},
  ee        = {http://subs.emis.de/LNI/Proceedings/Proceedings30/article840.html},
  crossref  = {DBLP:conf/ista/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ista/2003,
  editor    = {Mikhail Godlevsky and
               Stephen W. Liddle and
               Heinrich C. Mayr},
  title     = {Information Systems Technology and its Applications, International
               Conference ISTA'2003, June 19-21, 2003, Kharkiv, Ukraine,
               Proceedings},
  booktitle = {ISTA},
  publisher = {GI},
  series    = {LNI},
  volume    = {30},
  year      = {2003},
  isbn      = {3-88579-359-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}