Skip to Content
βFinite State Models for the Optimization and Verification of Digital Systems,β 1993.