Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution.

Boutheina Bannour, Arnault Lapitre, Pascale Le Gall

Browse the full MEDI paper archive.