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: Antonio Faonio, Jesper Buus Nielsen, Daniele Venturi
Journal title: Automata, Languages, and Programming
Journal publisher: Springer Berlin Heidelberg
Published year: 2015
Published pages: 456-468
DOI identifier: 10.1007/978-3-662-47672-7_37
ISBN: 978-3-662-47672-7