| Modellreduktionstechniken für symbolische Kellersysteme |
|
|
| Geschrieben von: Dirk Richter | |||
|
Vortrag im 25. Workshop "Programmiersprachen und Rechenkonzepte" der Gesellschaft für Informatik im Mai 2008. Download: vortrag_pr08.pdf
|

