Verification of hypercube communication structures via parametric Petri nets
From MaRDI portal
Publication:1956980
DOI10.1007/s10559-010-9189-yzbMath1204.68140OpenAlexW1996697001MaRDI QIDQ1956980
T. R. Shmeleva, Dmitry A. Zaitsev
Publication date: 24 September 2010
Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10559-010-9189-y
Related Items
Uses Software
Cites Work