%0 Conference Proceedings
%F leguernic91d
%A Le Guernic, P.
%T Specification and verification of parallel systems
%B Proceedings of the French-Israel Workshop on formal verification for hardware and software
%D 1991