Article (Scientific journals)
An Automatic Proving Approach to Parameterized Verification
Li, Yongjian; Duan, Kaiqiang; Jansen, David et al.
2018In ACM Transactions on Computational Logic, 19 (4), p. 1-27
Peer reviewed
 

Files


Full Text
TOCL18.pdf
Author postprint (455.69 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
Author, co-author :
Li, Yongjian
Duan, Kaiqiang
Jansen, David
PANG, Jun  ;  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
External co-authors :
yes
Language :
English
Title :
An Automatic Proving Approach to Parameterized Verification
Publication date :
2018
Journal title :
ACM Transactions on Computational Logic
Publisher :
ACM
Volume :
19
Issue :
4
Pages :
1-27
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 22 December 2018

Statistics


Number of views
107 (2 by Unilu)
Number of downloads
221 (0 by Unilu)

Scopus citations®
 
8
Scopus citations®
without self-citations
3
OpenCitations
 
5
OpenAlex citations
 
8
WoS citations
 
4

publications
0
supporting
0
mentioning
0
contrasting
0
Smart Citations
0
0
0
0
Citing PublicationsSupportingMentioningContrasting
View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.

Bibliography


Similar publications



Sorry the service is unavailable at the moment. Please try again later.
Contact ORBilu