%0 Conference Proceedings
%F BadouelBD95
%A Badouel, Eric
%A Bernardinello, Luca
%A Darondeau, Philippe
%T Polynomial Algorithms for the Synthesis of Bounded Nets
%B Theory and Practice of Software Development, TAPSOFT
%V 915
%P 364-378
%S Lecture Notes in Computer Science
%I Springer
%D 1995