Verification of hypercube communication structures via parametric Petri nets1
D. A. Zaitsev, T. R. ShmelevaVolume:
46
Language:
english
Pages:
10
DOI:
10.1007/s10559-010-9189-y
Date:
January, 2010
File:
PDF, 338 KB
english, 2010