Toggle Main Menu Toggle Search

Open Access padlockePrints

Counterexample-guided refinement of template polyhedra

Lookup NU author(s): Dr Sergiy BogomolovORCiD



This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by Springer, 2017.

For re-use rights please refer to the publisher's terms and conditions.

Publication metadata

Author(s): Bogomolov S, Frehse G, Giacobbe M, Henzinger T

Editor(s): Axel Legay, Tiziana Margaria

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017)

Year of Conference: 2017

Pages: 589-606

Online publication date: 31/03/2017

Acceptance date: 22/12/2016

Date deposited: 01/04/2021

ISSN: 0302-9743

Publisher: Springer


DOI: 10.1007/978-3-662-54577-5_34

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783662545768