%0 Conference Proceedings
%F kouchnarenko98b
%A Kouchnarenko, O.
%A Pinchinat, S.
%T Intensional Approaches for Symbolic Methods
%B the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98, International Workshop on Concurrency
%C Brno, Czech Republic
%8 August
%D 1998