Formale Hardware-Verifikation mit Termersetzung

Reinhard Bündgen, Alfons Geser. Formale Hardware-Verifikation mit Termersetzung. KI, 12(4):19-24, 1998.

Abstract

Abstract is missing.