Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
Neuigkeiten Mittwoch, 22. Mai 2024: Die Deutsche Nationalbibliothek in Leipzig ist wegen eines Betriebsausflug geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind bis 18 Uhr geöffnet. // Wednesday, 22 May 2024: The German National Library in Leipzig will be closed due to a staff outing. The exhibitions of the German Museum of Books and Writing will open from 10:00 to 18:00.
 
 

Ergebnis der Suche nach: tit all "Model-checking task-parallel programs for data-race."



Treffer 1 von 1 < < > <



Artikel
Link zu diesem Datensatz https://d-nb.info/1202434495
Titel Model-checking task-parallel programs for data-race / by Radha Nakade, Eric Mercer, Peter Aldous, Kyle Storey, Benjamin Ogles, Joshua Hooker, Sheridan Jacob Powell, Jay McCarthy
Person(en) Nakade, Radha (Verfasser)
Mercer, Eric (Verfasser)
Aldous, Peter (Verfasser)
Storey, Kyle (Verfasser)
Ogles, Benjamin (Verfasser)
Hooker, Joshua (Verfasser)
Powell, Sheridan Jacob (Verfasser)
McCarthy, Jay (Verfasser)
Organisation(en) SpringerLink (Online service) (Sonstige)
Umfang/Format Online-Ressource : online resource.
Persistent Identifier URN: urn:nbn:de:101:1-2020010522000254918247
DOI: 10.1007/s11334-019-00343-5
URL https://doi.org/10.1007/s11334-019-00343-5
Zeitliche Einordnung Erscheinungsdatum: 2019
DDC-Notation 005.14 (maschinell ermittelte DDC-Kurznotation)
Sprache(n) Englisch (eng)
Beziehungen Enthalten in: Innovations in systems and software engineering (Bd. 15, 18.5.2019, Nr. 3-4, date:9.2019: 289-306)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration