Computer Engineering & Science
Previous Articles
WANG Yapeng,LEI Lihui
Received:
Revised:
Online:
Published:
Abstract:
Key words: model checking, NuSMV, cell signaling pathway, gastric adenocarcinoma
WANG Yapeng,LEI Lihui.
0 / / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://joces.nudt.edu.cn/EN/
http://joces.nudt.edu.cn/EN/Y2018/V40/I12/2280