Multiclock Esterel (2001)

by G Berry, E Sentovich
Venue:In Proceedings CHARME’01, volume 2144 of LNCS