Completeness and Decidability Results for CTL in Coq.

Christian Doczkal, Gert Smolka

Browse the full ITP paper archive.