%0 Journal Article 
%F BadouelBD97
%A Badouel, Eric
%A Bernardinello, Luca
%A Darondeau, Philippe
%T The Synthesis Problem for Elementary Net Systems is NP-Complete
%J Theoretical Computer Science
%V 186
%N 1
%P 107-134
%D 1997