Start Veröffentlichungen Vorträge Slicing zur Modellreduktion von symbolischen Kellersystemen
Slicing zur Modellreduktion von symbolischen Kellersystemen PDF Drucken
Geschrieben von: Dirk Richter   

Vortrag im Workshop "Programmiersprachen und Rechenkonzepte" im Mai 2007.

Download:  wpr.pdf