Editing A Decidability esult for the Model Checking of Infinite-State Systems (section)
Warning: You are not logged in. Your IP address will be publicly visible if you make any edits. If you log in or create an account, your edits will be attributed to your username, along with other benefits.