Representing causality and reasoning about controllability of multi-level flow-systems.

Kai Heussen, Morten Lind

Browse the full SMC paper archive.