Summary
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: Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Journal title: Electronic Notes in Theoretical Computer Science
Journal number: 336
Journal publisher: Elsevier BV
Published year: 2018
Published pages: 27-39
DOI identifier: 10.1016/j.entcs.2018.03.014
ISSN: 1571-0661