Retraction
Reachability Analysis of Concurrent Boolean Programs with Symbolic Counter Abstraction
Paper Information
Record ID:
41714
Author(s):
Journal:
Publication Date:
June 02, 2012
Retraction Date:
December 11, 2013
(11.9 years years ago)
Subject:
Broad Categories:
Computer Science
Computer Science
Specific Fields:
Computer Science
Computer Science
Institution:
Department of Computer Science and Engineering,GuiLin University of Electronic Technology, GuiLin541004, ChinaCountry:
🇨🇳 ChinaArticle Type:
Publisher:
Elsevier
Open Access:
Yes
PubMed ID:
Not indexed in PubMed
Retraction PubMed ID:
Not indexed in PubMed
Retraction Details
Citations (0)
0
Total Citations0
Post-Retraction0
Pre-Retraction0
Same Day
No citations found for this paper.
Quick Stats
Total Citations:
0
Years Since Retraction:
11.9 years
Open Access:
Yes
Last Checked:
Never