Automata, Power Series, and Coinduction: taking input derivatives seriously (Extended Abstract) (1999)

View PDF

Download Links

by J. J. M. M. Rutten
Citations:7 - 1 self