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: Kim Guldstrand Larsen, Marius Mikučionis, Jakob Haahr Taankvist
Journal title: Lecture Notes in Computer Science
Journal number: 9360
Journal publisher: Springer International Publishing
Published year: 2015
Published pages: 260-277
DOI identifier: 10.1007/978-3-319-23506-6_17
ISBN: 978-3-319-23505-9