Research output: Book/Report › Book
}
TY - BOOK
T1 - Counterexample-guided refinement of template polyhedra
AU - Bogomolov, Sergiy
AU - Frehse, Goran
AU - Giacobbe, M.
AU - Henzinger, T.A.
PY - 2017
Y1 - 2017
UR - https://www.scopus.com/pages/publications/85017522066
U2 - 10.1007/978-3-662-54577-5_34
DO - 10.1007/978-3-662-54577-5_34
M3 - Book
BT - Counterexample-guided refinement of template polyhedra
ER -