> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Weighted branching automata : combining concurrency and weights Beteiligte: Meinecke, Ingmar [Verfasser:in] Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Endlicher Automat ; Gewicht <Mathematik> ; Halbring ; Nebenläufigkeit ; Hochschulschrift Entstehung: Hochschulschrift: Dresden, Techn. Univ., Diss., 2004 Anmerkungen: Zugangsstatus: Freier Zugang