%0 Conference Proceedings
%F Zinovieva02
%A Zinovieva, E.
%T Symbolic Test Generation for Reactive Systems
%B Proceedings of the Modelling and Verifying Parallel Processes Summer School (MOVEP'02)
%8 June
%D 2002