Axiomatic Temporal Logic Programs Verification.

Xiaoxiao Yang, Zhenhua Duan

Browse the full TASE paper archive.