%0 Journal Article %1 journals/corr/abs-2009-01777 %A Mahe, Erwan %A Bannour, Boutheina %A Gaston, Christophe %A Lapitre, Arnault %A Gall, Pascale Le %D 2020 %J CoRR %K dblp %T A small-step approach to multi-trace checking against interactions. %U http://dblp.uni-trier.de/db/journals/corr/corr2009.html#abs-2009-01777 %V abs/2009.01777

@article{journals/corr/abs-2009-01777, added-at = {2020-09-16T00:00:00.000+0200}, author = {Mahe, Erwan and Bannour, Boutheina and Gaston, Christophe and Lapitre, Arnault and Gall, Pascale Le}, biburl = {https://www.bibsonomy.org/bibtex/273de9affa763d12fca80c241363dba19/dblp}, ee = {https://arxiv.org/abs/2009.01777}, interhash = {cb1ee66febd5502ee63622eef1b0c3a0}, intrahash = {73de9affa763d12fca80c241363dba19}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-09-17T11:36:26.000+0200}, title = {A small-step approach to multi-trace checking against interactions.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2009.html#abs-2009-01777}, volume = {abs/2009.01777}, year = 2020 }