Symbolic analysis tools - the state-of-the-art (1996)

by F V Fernàndez, A Rodrìguez-Vàzquez
Venue:IEEE International Symposium on Circuits and Systems, Vol.4