Projects per year
Original language | English |
---|---|
Title of host publication | Implementation and application of automata |
Place of Publication | Berlin [u.a.] |
Publisher | Springer |
Pages | 208-218 |
ISBN (Print) | 3-540-37213-X |
Publication status | Published - 2006 |
Event | International Conference on Implementation and Application of Automata - Taipei, Taiwan, Province of China Duration: 21 Aug 2006 → 23 Aug 2006 |
Conference
Conference | International Conference on Implementation and Application of Automata |
---|---|
Country/Territory | Taiwan, Province of China |
City | Taipei |
Period | 21/08/06 → 23/08/06 |
Treatment code (Nähere Zuordnung)
- Theoretical
- Experimental
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