direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Gegenbeispielgesteuerte Abstraktionsverfeinerung in High-Level-Petrinetzen
Zitatschlüssel toussaint05gegenbeispielgesteuerte00
Autor Nora Toussaint and Elke Salecker
Jahr 2005
Monat Sep
Institution Humboldt-Universität zu Berlin
Typ der Publikation Diploma Thesis
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe