| Name | Mathias Soeken, Dr. | |
| Büro | 051-02-031 | |
| Telefon | 8196 | |
| soeken@informatik.uni-freiburg.de | ||
| Website | http://www.informatik.uni-bremen.de/agra/ger/pub.php?search=Mathias%20Soeken |
Mathias Soeken
Jahre: 2004
2004
nach oben zur Jahresübersicht- Christoph Scholl, Matthias Büche
Filter Based Diagnosis for Multiple Design Errors
2004 GI/ITG/GMM-Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”