Time, Abstraction and Heuristics - Automatic Verification and Planning of Timed Systems using Abstraction and Heuristics

BIB
Henning Dierks
07 / 2005
misc