Fingerprint
Dive into the research topics of 'Verification of hypertorus communication grids by infinite Petri nets and process algebra'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Verification of hypertorus communication grids by infinite Petri nets and process algebra
Dmitry Zaitsev (Corresponding author), Tatiana Shmeleva, Jan Friso Groote
Research output: Contribution to journal › Article › Academic › peer-review
12
Citations
(Scopus)
70
Downloads
(Pure)