%0 Conference Proceedings %F besson99a %A Besson, F. %A Jensen, T. %A Talpin, J.-P. %T Timed polyhedra analysis for synchronous languages %B Proceedings of the 10th International Conference on Concurrency Theory (CONCUR'99), LNCS volume 1664 %I Springer Verlag %U ftp://ftp.irisa.fr/local/signal/publis/articles/CONCUR99-besson.ps.gz %8 August %D 1999