APA (7th ed.) Citation

Dierks, H. (2006). Time, abstraction and heuristics: Automatic verification and planning of timed systems using abstraction and heuristics. Universität.

Chicago Style (17th ed.) Citation

Dierks, Henning. Time, Abstraction and Heuristics: Automatic Verification and Planning of Timed Systems Using Abstraction and Heuristics. Oldenburg: Universität, 2006.

MLA (9th ed.) Citation

Dierks, Henning. Time, Abstraction and Heuristics: Automatic Verification and Planning of Timed Systems Using Abstraction and Heuristics. Universität, 2006.