Open AccessVerification of digital devices with concurrency behavior
Author(s) -
D. I. Cheremisinov,
Л. Д. Черемисинова
Publication year - 2020
Publication title -
problemy razrabotki perspektivnyh mikro- i nanoèlektronnyh sistem ...
Language(s) - English
Resource type - Journals
ISSN - 2078-7707
DOI - 10.31114/2078-7707-2020-3-9-15
Subject(s) - concurrency , computer science , programming language