Verification of microprogrammed computer architectures in the S*-system: a case study.

Werner Damm, Gert Dhmen

Browse the full MICRO paper archive.