Partial-Order Reduction for Performance Analysis of Max-Plus Timed Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bram van der Sanden, Marc Geilen, Michel A. Reniers, Twan Basten. Partial-Order Reduction for Performance Analysis of Max-Plus Timed Systems. In 18th International Conference on Application of Concurrency to System Design, ACSD 2018, Bratislava, Slovakia, June 25-29, 2018. pages 40-49, IEEE Computer Society, 2018. [doi]

This author has not been identified. Look up 'Bram van der Sanden' in GoogleThis author has not been identified. Look up 'Marc Geilen' in GoogleThis author has not been identified. Look up 'Michel A. Reniers' in GoogleThis author has not been identified. Look up 'Twan Basten' in Google

runs on WebDSL