- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0670
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Fine-Grained Complexity of Safety Verification ; day:14 ; month:7 ; year:2020 ; pages:1-26
Journal of automated reasoning ; (14.7.2020), 1-26
- Creator
-
Chini, Peter
Meyer, Roland
Saivasan, Prakash
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-020-09572-x
- URN
-
urn:nbn:de:101:1-2020091018501836563636
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:54 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
- Chini, Peter
- Meyer, Roland
- Saivasan, Prakash
- SpringerLink (Online service)
Other Objects (12)
Visual fine-grained recognition
Masking in fine-grained leakage models: construction, implementation and verification
Masking in Fine-Grained Leakage Models: Construction, Implementation and Verification
Fine-grained transactions for NVRAM
Fine-grained complexity analysis of some combinatorial data science problems
Fine-grained complexity analysis of some combinatorial data science problems
Fine-grained complexity and algorithm engineering of geometric similarity measures
Improved Merlin–Arthur Protocols for Central Problems in Fine-Grained Complexity
Fine-grained multilayer virtualized systems analysis
Generating fine-grained surrogate temporal networks
How to emulate fine-grained multithreading
Quantum Meets Fine-Grained Complexity: Sublinear Time Quantum Algorithms for String Problems
Visual fine-grained recognition
Masking in fine-grained leakage models: construction, implementation and verification
Masking in Fine-Grained Leakage Models: Construction, Implementation and Verification
Fine-grained transactions for NVRAM
Fine-grained complexity analysis of some combinatorial data science problems
Fine-grained complexity analysis of some combinatorial data science problems
Fine-grained complexity and algorithm engineering of geometric similarity measures
Improved Merlin–Arthur Protocols for Central Problems in Fine-Grained Complexity
Fine-grained multilayer virtualized systems analysis
Generating fine-grained surrogate temporal networks
How to emulate fine-grained multithreading
Quantum Meets Fine-Grained Complexity: Sublinear Time Quantum Algorithms for String Problems
Visual fine-grained recognition
Masking in fine-grained leakage models: construction, implementation and verification
Masking in Fine-Grained Leakage Models: Construction, Implementation and Verification
Fine-grained transactions for NVRAM
Fine-grained complexity analysis of some combinatorial data science problems
Fine-grained complexity analysis of some combinatorial data science problems
Fine-grained complexity and algorithm engineering of geometric similarity measures
Improved Merlin–Arthur Protocols for Central Problems in Fine-Grained Complexity
Fine-grained multilayer virtualized systems analysis
Generating fine-grained surrogate temporal networks
How to emulate fine-grained multithreading