CTL as an Intermediate Language.

Neil D. Jones, Ren Rydhof Hansen

Browse the full VMCAI paper archive.