How to leave out details: Error-preserving abstractions of state-space models (1988)

by M Young
Venue:In Proceedings of the Second Workshop on Software Testing, Verification, and Analysis (TAV