Retraction notices

Reachability Analysis of Concurrent Boolean Programs with Symbolic Counter Abstraction

Type

Retraction

Notice date

12/11/2013 0:00

Journal

Procedia Computer Science

Publisher

Elsevier

Notice DOI

10.1016/j.procs.2013.10.001

Original paper DOI

10.1016/j.procs.2012.04.150

Reasons

• Euphemisms for Plagiarism
• Plagiarism of/in Article
• Taken from Dissertation/Thesis

Matching venue names

Name match only, not an authoritative journal identifier.

• Procedia Computer Science