Effective Divergence Analysis for Linear Recurrence Sequences

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Almagor, Shaull; Chapman, Brynmor; Hosseini, Mehran; Ouaknine, Joël; Worrell, James

Journal title: 29th International Conference on Concurrency Theory, CONCUR

Journal number: 118

Journal publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik

Published year: 2018

Published pages: 42:1--42:15

DOI identifier: 10.4230/LIPIcs.CONCUR.2018.42

ISBN: 978-3-95977-087-3