Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten

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

 
 

Ergebnis der Suche nach: "118183540"

Zurück zur Trefferliste


Treffer 8 von 30 < < > <



Artikel
Link zu diesem Datensatz https://d-nb.info/1117367886
Titel From non-preemptive to preemptive scheduling using synchronization synthesis / by Pavol Černý, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
Person(en) Černý, Pavol (Verfasser)
Clarke, Edmund M. (Sonstige)
Henzinger, Thomas (Sonstige)
Radhakrishna, Arjun (Sonstige)
Ryzhyk, Leonid (Sonstige)
Samanta, Roopsha (Sonstige)
Tarrach, Thorsten (Sonstige)
Organisation(en) SpringerLink (Online service) (Sonstige)
Umfang/Format Online-Ressource : online resource.
Persistent Identifier URN: urn:nbn:de:1111-2016102914738
DOI: 10.1007/s10703-016-0256-5
URL http://dx.doi.org/10.1007/s10703-016-0256-5 (Open Access)
Zeitliche Einordnung Erscheinungsdatum: 2016
Sprache(n) Englisch (eng)
Beziehungen Enthalten in: Formal methods in system design (27.9.2016: 1-43)

Online-Zugriff Archivobjekt öffnen




Treffer 8 von 30
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration