Reference : An Automatic Proving Approach to Parameterized Verification
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/37865
An Automatic Proving Approach to Parameterized Verification
English
Li, Yongjian []
Duan, Kaiqiang []
Jansen, David []
Pang, Jun mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) > ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)]
Zhang, Lijun []
Lv, Yi []
Cai, Shaowei []
2018
ACM Transactions on Computational Logic
ACM
19
4
1-27
Yes
International
Researchers ; Professionals ; Students
http://hdl.handle.net/10993/37865

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
TOCL18.pdfAuthor postprint445.01 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.