ISCAS OpenIR  > 基础软件与系统重点实验室
a precongruence format for should testing preorder
Xiaowei Huang; Jiao Li; Weiming Lu
2010
SourceJournal of Logic and Algebraic Programming
VolumeIn Press, Accepted ManuscriptPages:-
Indexed Typesciencedirect
Department计算机科学国家重点实验室
WOS IDWOS:000278289300003
Citation statistics
Content Type期刊论文
URIhttp://ir.iscas.ac.cn/handle/311060/4622
Collection基础软件与系统重点实验室
Recommended Citation
GB/T 7714
Xiaowei Huang,Jiao Li,Weiming Lu. a precongruence format for should testing preorder[J]. Journal of Logic and Algebraic Programming,2010,In Press, Accepted Manuscript:-.
APA Xiaowei Huang,Jiao Li,&Weiming Lu.(2010).a precongruence format for should testing preorder.Journal of Logic and Algebraic Programming,In Press, Accepted Manuscript,-.
MLA Xiaowei Huang,et al."a precongruence format for should testing preorder".Journal of Logic and Algebraic Programming In Press, Accepted Manuscript(2010):-.
Files in This Item:
File Name/Size DocType Version Access License
1.pdf(385KB) 开放获取--Application Full Text
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Xiaowei Huang]'s Articles
[Jiao Li]'s Articles
[Weiming Lu]'s Articles
Baidu academic
Similar articles in Baidu academic
[Xiaowei Huang]'s Articles
[Jiao Li]'s Articles
[Weiming Lu]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Xiaowei Huang]'s Articles
[Jiao Li]'s Articles
[Weiming Lu]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.