Fujimoto R.

Автор:

Вид	Название	Год	Автор	Серия	Редакторы	Колл. автор	Источник	Дата поступления
СТ	Design and Verification of the Rollback Chip Using HOP: A Case Study of Formal Methods Applied to Hardware Design	1993	Gopalakrishnan G., Fujimoto R.				ACM Trans. Computer Systems	29.07.1993
СТ	Time-Parallel Simulation of Cascaded Statistical Multiplexers	1994	Nikolaidis J., Fujimoto R., Cooper C. A.				Performance Evaluation Review	03.08.1994