- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
2052-4463
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
A cross-verified database of notable people, 3500BC-2018AD ; volume:9 ; number:1 ; day:9 ; month:6 ; year:2022 ; pages:1-19 ; date:12.2022
Scientific data ; 9, Heft 1 (9.6.2022), 1-19, 12.2022
- Creator
-
Laouénan, Morgane
Bhargava, Palaash
Eyméoud, Jean-Benoît
Gergaud, Olivier
Plique, Guillaume
Wasmer, Etienne
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1038/s41597-022-01369-4
- URN
-
urn:nbn:de:101:1-2022080319243753385939
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:32 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Laouénan, Morgane
- Bhargava, Palaash
- Eyméoud, Jean-Benoît
- Gergaud, Olivier
- Plique, Guillaume
- Wasmer, Etienne
- SpringerLink (Online service)
Other Objects (12)
verifiedSCION: Verified Secure Routing
HTRIdb: an open-access database for experimentally verified human transcriptional regulation interactions
Phospho.ELM: A database of experimentally verified phosphorylation sites in eukaryotic proteins
Gale-Shapley Verified
ModelPlex: verified runtime validation of verified cyber-physical system models
FM8501 : a verified microprocessor
Verified Boot auf ARM
Verified Java bytecode verification
Verified proof carrying code
Monitoring with verified guarantees
Verified Java bytecode verification
Mujer notable
verifiedSCION: Verified Secure Routing
HTRIdb: an open-access database for experimentally verified human transcriptional regulation interactions
Phospho.ELM: A database of experimentally verified phosphorylation sites in eukaryotic proteins
Gale-Shapley Verified
ModelPlex: verified runtime validation of verified cyber-physical system models
FM8501 : a verified microprocessor
Verified Boot auf ARM
Verified Java bytecode verification
Verified proof carrying code
Monitoring with verified guarantees
Verified Java bytecode verification
Mujer notable
verifiedSCION: Verified Secure Routing
HTRIdb: an open-access database for experimentally verified human transcriptional regulation interactions
Phospho.ELM: A database of experimentally verified phosphorylation sites in eukaryotic proteins
Gale-Shapley Verified
ModelPlex: verified runtime validation of verified cyber-physical system models
FM8501 : a verified microprocessor
Verified Boot auf ARM
Verified Java bytecode verification
Verified proof carrying code
Monitoring with verified guarantees
Verified Java bytecode verification