Stream Differential Equations: concrete formats for coinductive definitions (2011)

by Clemens Kupke , Milad Niqui , Jan Rutten
Citations:2 - 1 self