Narrowing down the Hardness Barrier of Synthesizing Elementary Net Systems.

Ronny Tredup, Christian Rosenke

Browse the full CONCUR paper archive.