Formal Modeling of Communication Traces.

Sergiy Boroday Hesham Hallal Alexandre Petrenko Andreas Ulrich Formal Modeling of Communication Traces. 97-108 2003 conf/ista/2003 ISTA db/conf/ista/ista2003.html#BorodayHPU03