%0 Conference Proceedings
%F BadouelD92
%A Badouel, Eric
%A Darondeau, Philippe
%T Structural Operational Specifications and the Trace Automata
%B Conference on Concurrency Theory, CONCUR
%V 630
%P 302-316
%S Lecture Notes in Computer Science
%I Springer
%D 1992