Retraction
A Case for Model Checking
Paper Information
Record ID:
33905
Author(s):
Publication Date:
September 22, 2014
Retraction Date:
January 01, 2021
(4.9 years years ago)
Subject:
Broad Categories:
Computer Science
Computer Science
Specific Fields:
Computer Science
Computer Science
Institution:
The Engineering & technical college of Chengdu University of Technology, Leshan, 614000, ChinaCountry:
🇨🇳 ChinaArticle Type:
Publisher:
Trans Tech Publications Ltd
Open Access:
Yes
PubMed ID:
Not indexed in PubMed
Retraction PubMed ID:
Not indexed in PubMed
Retraction Details
Retraction Reasons:
Nature of Retraction:
Retraction
Retraction Notice:
10.4028/www.scientific.net/AMM.644-650.2342Additional Notes:
See also: https://asistdl.onlinelibrary.wiley.com/doi/10.1002/asi.24495 and Supporting Information
Citations (2)
2
Total Citations0
Post-Retraction1
Pre-Retraction0
Same DayHeavy Metals Removal Using Carbon Based Nanocomposites
Unknown Authors
Unknown Journal
Published: Unknown
Refining Simulated Smooth Surface Annealing and Consistent Hashing
Ten Nit
Research & Development in Material Science
Open Access
Published: Jan 2018
1078 days before retraction
Quick Stats
Total Citations:
2
Years Since Retraction:
4.9 years
Open Access:
Yes
Last Checked:
Jul 24, 2025