Formal Hardware Verification Methods and Systems in Comparison - Kropf, Thomas; Kropf, Thomas (Springer Berlin Heidelberg : Imprint: Springer, 1997)