Skip to main content

Effective Divergence Analysis for Linear Recurrence Sequences

Shaull Almagor‚ Brynmor Chapman‚ Mehran Hosseini‚ Joël Ouaknine and James Worrell

Book Title
29th International Conference on Concurrency Theory CONCUR‚ 2018
Year
2018