A Decidability esult for the Model Checking of Infinite-State Systems

From WikiCitingRetracted

Jump to navigation Jump to search

Target Article[edit | edit source]

A Decidability esult for the Model Checking of Infinite-State Systems; D Zucchelli, E Nicolini; 2012; doi_citing_unknown

Retraction[edit | edit source]

PDL Has Interpolation ; Tomasz Kowalski; 09/01/2002

doi_cited_unknown

Citation piece[edit | edit source]

Note: Open to append information.

Retrieved from "https://wikicitingretracted.org/index.php?title=A_Decidability_esult_for_the_Model_Checking_of_Infinite-State_Systems&oldid=18150"