Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Kurshan, Bob"'
Autor:
Kim, Hyondeuk, Jin, Hoonsang, Ravi, Kavita, Spacek, Petr, Pierce, John, Kurshan, Bob, Somenzi, Fabio
Publikováno v:
Computer Aided Verification (9783540705437); 2008, p487-490, 4p
Autor:
Kurshan, Bob, De Palma, Gary
Publikováno v:
Computer Design. Aug1996, Vol. 35 Issue 9, p72. 2p. 1 Diagram.