Verification of Linear Duration Invariants by Model Checking CTL Properties.

Miaomiao Zhang, Dang Van Hung, Zhiming Liu

Browse the full ICTAC paper archive.