%0 Conference Proceedings
%F nowak99a
%A Nowak, D.
%A Talpin, J.P.
%A Le Guernic, P.
%T Synchronous Structures
%B Proceedings of the 10th International Conference on Concurrency Theory (CONCUR'99), Volume 1664 of LNCS
%I Springer Verlag
%U ftp://ftp.irisa.fr/local/signal/publis/articles/TPHOLs-98:sem_verif.ps.gz
%8 August
%D 1999