Titel: | Dynamic Transition Refinement | Autorenschaft: | Köhler, Michael Rölke, Heiko |
Erscheinungsdatum: | 2007 | Zeitschrift oder Schriftenreihe: | Electronic notes in theoretical computer science : ENTCS | Zeitschriftenband: | 175 | Anfangsseite: | 119 | Endseite: | 134 | URI: | http://hdl.handle.net/20.500.12738/640 | Einrichtung: | Universität Hamburg | Dokumenttyp: | Zeitschriftenbeitrag |
Enthalten in den Sammlungen: | Publications without full text |
Zur Langanzeige
Volltext ergänzen
Feedback zu diesem Datensatz
Export
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.