Suchergebnisse
Katalog
Aufsätze & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
Sprache
Geographischer Bezug
Inhaltsanbieter
4 Treffer
-
In: SPIN 2022 - 28th International Symposium on Model Checking of Software ; https://hal.science/hal-03758964 ; SPIN 2022 - 28th International Symposium on Model Checking of Software, May 2022, Chicago, United States. pp.114-133, ⟨10.1007/978-3-031-15077-7_7⟩, 2022Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science. ; Job Scheduling Strategies for Parallel Processing. JSSPP 2021. ; https://hal.science/hal-04418066, 2021KonferenzZugriff:
-
In: Lecture Notes in Computer Science ; Diagrammatic Representation and Inference. Diagrams 2016. ; https://hal.science/hal-02050949 ; Diagrammatic Representation and Inference. Diagrams 2016., Aug 2016, Philadelphia, United States. pp.40-47, ⟨10.1007/978-3-319-42333-3_4⟩, 2016KonferenzZugriff:
-
In: Therapeutic innovation & regulatory science, Jg. 58 (2024), Heft 1, S. 11-15Online academicJournalZugriff: