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

Cached

Download Links

by J. J. M. M. Rutten
Citations:52 - 17 self