Henning Dierks. Time, abstraction and heuristics - automatic verification and planning of timed systems using abstraction and heuristics. Volume 01-06 of Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik, 2006.
@book{0015592,
title = {Time, abstraction and heuristics - automatic verification and planning of timed systems using abstraction and heuristics},
author = {Henning Dierks},
year = {2006},
researchr = {https://researchr.org/publication/0015592},
cites = {0},
citedby = {0},
volume = {01-06},
series = {Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik},
}