InTra: Automatic Reduction of Model Complexity and Generation of System Variants - A Tool Demonstration.

Philippe Barbie, Vasil L. Tenev, Martin Becker

Browse the full SPLC paper archive.