Retraction notice to “Reachability Analysis of Concurrent Boolean Programs with Symbolic Counter Abstraction” [PROCS9 (2012) 1363–1370] - Retraction Notice | RetractBase