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

View PDF

Download Links

by J. J. M. M. Rutten
Citations:67 - 22 self