Behavioural Differential Equations and Coinduction for Binary Trees

Cached

Download Links

by Ra Silva , Jan Rutten
Citations:5 - 1 self