MTL and TPTL for One-Counter Machines: Expressiveness, Model Checking, and Satisfiability - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shiguang Feng, Claudia Carapelle, Oliver Fernández Gil, Karin Quaas. MTL and TPTL for One-Counter Machines: Expressiveness, Model Checking, and Satisfiability. ACM Trans. Comput. Log., 21(2), 2020. [doi]

This author has not been identified. Look up 'Shiguang Feng' in GoogleThis author has not been identified. Look up 'Claudia Carapelle' in GoogleThis author has not been identified. Look up 'Oliver Fernández Gil' in GoogleThis author has not been identified. Look up 'Karin Quaas' in Google

runs on WebDSL