4. COMMA 2012: Vienna, Austria

Part I. Invited Talks

Part II. Innovative Applications

Part III. Regular Papers

Part IV. Demonstrations

a service of Schloss Dagstuhl - Leibniz Center for Informatics