187.21.138.9
Created page with "== Target Article == A Decidability esult for the Model Checking of Infinite-State Systems; D Zucchelli, E Nicolini; 2012; doi_citing_unknown == Retraction == PDL Has Interpolation ; Tomasz Kowalski; 09/01/2002 ; doi_cited_unknown == Citation piece == Note: Open to append information."