中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Facet browsing:

Current Search ((ALL:model checking algorithm))
Filters none
acm transactions on software engineering and methodology(1)
allerton press inc.(1)
journal of computer science and technology(1)
journal of parallel and distributed computing(1)
lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics)(1)
proceedings - 2009 3rd ieee international symposium on theoretical aspects of software engineering, tase 2009(1)
计算机工程与设计(1)

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace