Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Der Aufruf von archivierten Webseiten ist aktuell nicht möglich. Wir arbeiten an einer Lösung.
 
 

Ergebnis der Suche nach: idn=1329061829



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1329061829
Titel Specifying and model checking distributed control algorithms at meta-level
Person(en) Doan, Thi Thu Ha (Verfasser)
Ogata, Kazuhiro (Verfasser)
Verlag Freiburg : Universität
Zeitliche Einordnung Erscheinungsdatum: 2024
Umfang/Format Online-Ressource (pdf)
Persistent Identifier URN: urn:nbn:de:bsz:25-freidok-2482250
DOI: 10.1093/comjnl/bxab122
URL https://freidok.uni-freiburg.de/data/248225 (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Anmerkungen The computer journal. - 65, 12 (2022) , 2998-3019, ISSN: 1460-2067
DDC-Notation 005.13 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration