Reinhard Bündgen, Wolfgang Küchlin, Werner Lauterbach. Verification of the Sparrow Processor. In IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS 96), March 11-15, 1996, Friedrichshafen, Germany. pages 86, IEEE Computer Society, 1996. [doi]
Abstract is missing.