Scheduling of Control Flow Intensive Behavioral Descriptions in Formal Synthesis
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Rechnerentwurf und Fehlertoleranz (IRF) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 2004 |
| Sprache | Englisch |
| Identifikator | ISBN: 3-8322-2486-6 KITopen-ID: 1000002677 |
| Erschienen in | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Hrsg.: D. Stoffel |
| Verlag | Shaker Verlag |
| Seiten | 204-213 |
| Serie | Berichte aus der Informatik |