Symbolic simulation of dataflow synchronous programs with timers.

Guillaume Baudart, Timothy Bourke, Marc Pouzet

Browse the full FDL paper archive.