Systematic computer-aided analysis of dynamic systems
Authors:
W. Kleczka;E. Kreuzer
Affiliations:
Meerestechnik II, Technische Universität Hamburg-Harburg, Eiβendorfer Str. 42, D-2100 Hamburg 90, FRG;Meerestechnik II, Technische Universität Hamburg-Harburg, Eiβendorfer Str. 42, D-2100 Hamburg 90, FRG
Venue:
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation