Вход
Электронный каталог
Abts D. balanced approach to high-level verification: performance tradeoffs in verifying large-scale multiprocessors / D. Abts, M. Roberts, D. J. Lilja, 1999. - 3 l. - Текст : непосредственный.
Abts D. language-theoretic approach to specifying and verifyng multiprocessor cache coherence protocols / D.Abts,D.J.Lilja,S.Scott, 2000. - 12 p. - Текст : непосредственный.