Synthesis for continuous time

Tim French, John Christopher McCabe-Dansted, Mark Reynolds. Synthesis for continuous time. Theoretical Computer Science, 594:201-222, 2015. [doi]

Abstract

Abstract is missing.