TY - CONF A1 - Beyer, Dirk A1 - Heinig, Andy A2 - Rozenblit, Jerzy A2 - Sveda, Miroslav A2 - Rattray, Charles T1 - Different Strategies for BDD-based Reachability Analysis of Timed Automata T2 - Proceedings of the 2nd IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems (FSCBS 2001, Washington, D.C., April 2001) Y1 - 2003 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/1621 SP - 89 EP - 98 CY - Stirling ER -