TY - CHAP A1 - Beyer, Dirk A1 - Heinig, Andy ED - Rozenblit, Jerzy ED - Sveda, Miroslav ED - 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 - 2001 SP - 89 EP - 98 CY - Stirling ER - TY - CHAP A1 - Heinig, Andy A1 - Schölzel, Mario T1 - Zeitbeschränkte Clusterung zur Design-Space-Exploration geclusterter VLIW-Prozessoren T2 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 9. ITG/GI/GMM Workshop, 20. - 22. Februar 2006 in Dresden Y1 - 2006 SN - 3-9810287-1-6 SP - 319 EP - 328 PB - Fraunhofer-Institut für Integrierte Schaltungen, Außenstelle Entwurfsautomatisierung CY - Dresden ER -