@miscHen2005, 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} @COMMENTBibtex file generated on