Simple LTL Model Checking on Finite and Infinite Traces over Concrete Domains.

David Doose, Julien Brunel

Browse the full ICFEM paper archive.