%0 Conference Proceedings
%F Bednarczyk2001a
%A Bednarczyk, M.
%A Darondeau, P.
%T Looking for diamonds
%B Proceedings of the Workshop on Synthesis of Concurrent Systems
%E Darondeau, P.
%E Lavagno, L.
%P 11-18
%C Newcastle upon Tyne, UK
%8 June
%D 2001
%K nets