EPTCS 135 - TTC 2013

The Case Studies

Solving the Flowgraphs case

Solving the Restructuring case

Solving the PN2SC case

maintained by Schloss Dagstuhl LZI at University of Trier