Equivalence and decomposition methods with application to a model of a time-sharing virtual memory system
2005 ◽
pp. 56-88
◽
Keyword(s):
2014 ◽
Vol E97.D
(7)
◽
pp. 1905-1909