Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized Language - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ikhlass Ammar, Yamen El Touati, John Mullins, Moez Yeddes. Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized Language. Int. J. Found. Comput. Sci., 32(2):175-202, 2021. [doi]

This author has not been identified. Look up 'Ikhlass Ammar' in GoogleThis author has not been identified. Look up 'Yamen El Touati' in GoogleThis author has not been identified. Look up 'John Mullins' in GoogleThis author has not been identified. Look up 'Moez Yeddes' in Google

runs on WebDSL