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

authors

Damm, Werner

publication date

December 1, 1985

has subject area

published in

https://forschungsatlas.fid-bau.de/individual/ Geographic Location

Digital Object Identifier (DOI)

https://doi.org/10.1145/18927.18913