A small-step approach to multi-trace checking against interactions.

Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall

Browse the full SAC paper archive.