Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...International journal on software tools for technology transfer, 2022-02, Vol.24 (1), p.33-48
2022
Volltextzugriff (PDF)
Logical methods in computer science, 2023-01, Vol.19, Issue 1
2023
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.196-218
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, 2020, p.189-207
2020
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2017, p.1-24
2017
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, p.196-212
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, p.471-488
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Logic
- Science & Technology - Other Topics
- Algorithms
- Automation & Control Systems
- Computer Science - Distributed, Parallel, And Cluster Computing
- Computer Science - Logic In Computer Science
- Computer Science, Hardware & Architecture
- Distributed Algorithms
- Fault Tolerance
- Networking And Internet Architecture
- Parameterization
- Parameterized Model Checking
- Queries
- Safety
- Semantics
Kollektion
Zeitschrift / Serie