Modeling and verifying active structural control systems (1997)

by W M ELSEAIDY, R CLEAVELAND, J W BAUGH
Venue:Science of Computer Programming