%0 Conference Paper %1 conf/ista/BorodayHPU03 %A Boroday, Sergiy %A Hallal, Hesham %A Petrenko, Alexandre %A Ulrich, Andreas %B ISTA %D 2003 %E Godlevsky, Mikhail %E Liddle, Stephen W. %E Mayr, Heinrich C. %I GI %K dblp %P 97-108 %T Formal Modeling of Communication Traces. %U http://dblp.uni-trier.de/db/conf/ista/ista2003.html#BorodayHPU03 %V P-30 %@ 3-88579-359-8

@inproceedings{conf/ista/BorodayHPU03, added-at = {2019-11-19T00:00:00.000+0100}, author = {Boroday, Sergiy and Hallal, Hesham and Petrenko, Alexandre and Ulrich, Andreas}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b0e2563dc5fcf191c3d89229ae108c1f/dblp}, booktitle = {ISTA}, crossref = {conf/ista/2003}, editor = {Godlevsky, Mikhail and Liddle, Stephen W. and Mayr, Heinrich C.}, ee = {http://subs.emis.de/LNI/Proceedings/Proceedings30/article840.html}, interhash = {b3c4846c275c354566f593b570048fac}, intrahash = {b0e2563dc5fcf191c3d89229ae108c1f}, isbn = {3-88579-359-8}, keywords = {dblp}, pages = {97-108}, publisher = {GI}, series = {LNI}, timestamp = {2019-11-26T07:57:55.000+0100}, title = {Formal Modeling of Communication Traces.}, url = {http://dblp.uni-trier.de/db/conf/ista/ista2003.html#BorodayHPU03}, volume = {P-30}, year = 2003 }