Automatic abstraction in symbolic trajectory evaluation (2007)

by S Adams, M Björk, T F Melham, C-J H Seger
Venue:In Formal Methods in Computer-Aided Design