Verification of systems and circuits using LOTOS, Petri Nets, and CCS by Yoeli, Michael, Kol, Rakefet 0 Type: Book
Advanced verification techniques: a systemC based approach for successful tapeout by Singh, Leena, Drucker, Leonard, Khann, Neyaz 0 Type: Book
