Symbolic model checking - McMillan, Kenneth L. (Kluwer, 2003)
Keywords: Schaltungsentwurf; Personal Computer; Korrektheit; Schaltwerk; Verifikation; Programmierbare logische Anordnung