Projects per year
Original language | English |
---|---|
Title of host publication | Design Automation Conference |
Publisher | Association of Computing Machinery |
Pages | 821-826 |
ISBN (Print) | 1-59593-381-6 |
Publication status | Published - 2006 |
Treatment code (Nähere Zuordnung)
- Theoretical
- Application
Projects
- 1 Finished
-
EU - Prosyd - Property-Based System Design
Pill, I. H., Staber, S. S., Griesmayer, A., Jobstmann, B. & Bloem, R.
1/01/04 → 31/12/06
Project: Research project