The exact solution of timing verification
| Zugehörige Institution(en) am KIT | Institut für Technik der Informationsverarbeitung (ITIV) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1992 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 133192 |
| Erscheinungsvermerk | In: Proceedings of the European Design Automation Conference (EURO-DAC), Hamburg 1992. Los Alamitos 1992. S. 132-137. |