Katalog der Deutschen Nationalbibliothek

Neuigkeiten Geänderte Servicezeiten an der Information in Frankfurt am Main: Montag bis Freitag von 9–18 Uhr , Samstag von 10–16 Uhr // Changes to service hours at the Information desk in Frankfurt am Main: Monday to Friday: 9:00–18:00, Saturday: 10:00–16:00
 
 

Ergebnis der Suche nach: idn=1068443006



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz http://d-nb.info/1068443006
Art des Inhalts Hochschulschrift
Titel Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models / Sascha Klüppelholz. Gutachter: Christel Baier ; Farhad Arbab. Betreuer: Christel Baier
Person(en) Klüppelholz, Sascha (Verfasser)
Baier, Christel (Akademischer Betreuer)
Arbab, Farhad (Akademischer Betreuer)
Verlag Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden - Dresden : Technische Universität Dresden
Zeitliche Einordnung Erscheinungsdatum: 2012
Umfang/Format Online-Ressource
Andere Ausgabe(n) Druckausg.: Klüppelholz, Sascha: Verification of branching-time and alternating-time properties for exogenous coordination models
Hochschulschrift Dresden, Technische Universität Dresden, Diss., 2012
Persistent Identifier URN: urn:nbn:de:bsz:14-qucosa-86211
URL http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-86211 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Anmerkungen Langzeitarchivierung gewährleistet
DDC-Notation 004.3 [DDC22ger]; 005.131 [DDC22ger]; 005.14 [DDC22ger]
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <


E-Mail-IconAdministration