Talk on Sufficient Conditions for Specifications Using the Until Operator at the HSCC 2020

Name: Talk on Sufficient Conditions for Specifications Using the Until Operator at the HSCC 2020
Uploaded: 2024-10-21T13:37:56+03:00
Duration: 21 min 38 s
Description: Talk on Sufficient Conditions for Specifications Using the Until Operator at the HSCC 2020