![](/img/cover-not-exists.png)
A True-Concurrency Encoding for BMC of Compositional Systems
Yin, Liangze, Dong, Wei, He, Fei, Wang, JiLanguage:
english
Journal:
The Computer Journal
DOI:
10.1093/comjnl/bxx069
Date:
July, 2017
File:
PDF, 1.00 MB
english, 2017