6th TTC 2013: Budapest, Hungary

The Case Studies

Solving the Flowgraphs case

Solving the Restructuring case

Solving the PN2SC case

a service of Schloss Dagstuhl - Leibniz Center for Informatics