@inproceedings{BeyerHeinig2003, author = {Dirk Beyer and Andy Heinig}, title = {Different Strategies for BDD-based Reachability Analysis of Timed Automata}, booktitle = {Proceedings of the 2nd IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems (FSCBS 2001, Washington, D.C., April 2001)}, editor = {Jerzy Rozenblit and Miroslav Sveda and Charles Rattray}, pages = {89 -- 98}, year = {2003}, }