Capítulo de livro
Acesso aberto
Revisado por pares
Verifying Advanced Microarchitectures that Support Speculation and Exceptions
2000; Springer Science+Business Media; Linguagem: Inglês
10.1007/10722167_39
ISSN1611-3349
AutoresRavi Hosabettu, Ganesh Gopalakrishnan, Mandayam Srivas,
Tópico(s)Formal Methods in Verification
Referência(s)