TY  - RPRT
TI  - The Hardness of Synthesizing Elementary Net Systems from Highly Restricted Inputs
AU  - Christian Rosenke
AU  - Ronny Tredup
PY  - 2017
UR  - https://arxiv.org/abs/1711.00220
ID  - 1711.00220
ER  -