Behavioural Differential Equations and Coinduction for Binary Trees

by Ra Silva , Jan Rutten
Citations:6 - 2 self