Behavioural Differential Equations: A Coinductive Calculus of Streams, Automata, and Power Series (2000)
by
J. J. M. M. Rutten
| Citations: | 43 - 14 self |

