Start Veröffentlichungen Vorträge Modellreduktionstechniken für symbolische Kellersysteme
Modellreduktionstechniken für symbolische Kellersysteme PDF Drucken
Geschrieben von: Dirk Richter   

Vortrag im 25. Workshop "Programmiersprachen und Rechenkonzepte" der Gesellschaft für Informatik im Mai 2008.

Download:  vortrag_pr08.pdf