@misc{Hen2005, Author = {Henning Dierks}, Title = {Time, Abstraction and Heuristics - Automatic Verification and Planning of Timed Systems using Abstraction and Heuristics}, Year = {2005}, Month = {07}, type = {misc} } @COMMENT{Bibtex file generated on }