Back to Search Start Over

Verification of square communication grid protocols via infinite Petri nets

Authors :
Tatiana R. Shmeleva
Zaitsev, D. A.
Zaitsev, I. D.
Source :
Scopus-Elsevier, Dmitry Zaitsev, ResearcherID

Details

Database :
OpenAIRE
Journal :
Scopus-Elsevier, Dmitry Zaitsev, ResearcherID
Accession number :
edsair.dedup.wf.001..959e8e9a1b9c7fcbf9d45859f1af2ecc

Tools

Authors Abstract Subjects Details