"Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent ..."

Johan Dovland, Einar Broch Johnsen, Olaf Owe (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics