Behavioural Differential Equations: A Coinductive Calculus of Streams, Automata, and Power Series (2000)

Cached

Download Links

by J. J. M. M. Rutten
Citations:71 - 26 self