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