- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0670
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Priority Inheritance Protocol Proved Correct ; day:12 ; month:2 ; year:2019 ; pages:1-23
Journal of automated reasoning ; (12.2.2019), 1-23
- Creator
-
Zhang, Xingyuan
Urban, Christian
Wu, Chunhan
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-019-09511-5
- URN
-
urn:nbn:de:101:1-2019031418501367503291
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:52 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
- Zhang, Xingyuan
- Urban, Christian
- Wu, Chunhan
- SpringerLink (Online service)
Other Objects (12)
Correct
Biologically correct
Genes & inheritance
Our inheritance
Inheritance (Hindu)
Natural inheritance
Constructing correct software
Correct program parallelisations
Schlepper "Correct II"
Management of UK priority invasive alien plants: a systematic review protocol
Finance-Inheritance affairs
IX.Ordeals … XVIII. Inheritance
Correct
Biologically correct
Genes & inheritance
Our inheritance
Inheritance (Hindu)
Natural inheritance
Constructing correct software
Correct program parallelisations
Schlepper "Correct II"
Management of UK priority invasive alien plants: a systematic review protocol
Finance-Inheritance affairs
IX.Ordeals … XVIII. Inheritance
Correct
Biologically correct
Genes & inheritance
Our inheritance
Inheritance (Hindu)
Natural inheritance
Constructing correct software
Correct program parallelisations
Schlepper "Correct II"
Management of UK priority invasive alien plants: a systematic review protocol
Finance-Inheritance affairs