TCTL-Based Verification of Industrial Processes.

Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah

Browse the full FDL paper archive.