Sortiert nach
International journal on software tools for technology transfer, 2022-02, Vol.24 (1), p.33-48
2022
Link zum Volltext
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018, p.465-480
2018
Link zum Volltext
Formal methods in system design, 2023-10
2023
Link zum Volltext
Journal of automated reasoning, 2017, Vol.59 (1), p.3-45
2017
Link zum Volltext
ACM transactions on computational logic, 2023-01, Vol.24 (1), p.1-76, Article 1
2023
Link zum Volltext
Artificial intelligence, 2022-07, Vol.308, p.103724, Article 103724
2022
Link zum Volltext
Formal methods in system design, 2021-08, Vol.57 (2), p.270-302
2021
Link zum Volltext
Formal methods in system design, 2021-01, Vol.57 (2), p.270-302
2021
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, p.47-61
Link zum Volltext
Static Analysis, 2018, Vol.11002, p.423-444
2018
Link zum Volltext
Formal methods in system design, 2017, Vol.50 (2-3), p.289-316
2017
Link zum Volltext
Mathematical structures in computer science, 2022-06, Vol.32 (6), p.794-826
2022
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, p.196-218
Link zum Volltext
Software Engineering and Formal Methods, p.282-300
Link zum Volltext
Computer Science -- Theory and Applications, 2015, Vol.9139, p.426-442
2015
Link zum Volltext
Computer Aided Verification, p.745-761
Link zum Volltext
Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-32
2018
Link zum Volltext
Fundamentals of Computation Theory, p.3-10
Link zum Volltext
Static Analysis, p.280-297
Link zum Volltext
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.185-194
2018
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, 2017, p.1-24
2017
Link zum Volltext
Programming Languages and Systems, 2017, Vol.10201, p.611-638
2017
Link zum Volltext
Automated Technology for Verification and Analysis, p.196-212
Link zum Volltext
Theory and Applications of Satisfiability Testing - SAT 2020, 2020, Vol.12178, p.429-446
2020
Link zum Volltext
PRIMA 2015: Principles and Practice of Multi-Agent Systems, p.185-200
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Science & Technology - Other Topics
- Logic
- Computer Science, Artificial Intelligence
- Abstract Domain
- Complexity
- Computer Science, Hardware & Architecture
- Computer Science, Interdisciplinary Applications
- Cost Analysis
- Model Check
- Parameterization
- Physical Sciences
- Ranking Function
- Software Engineering/programming And Operating Systems
- Algorithms
- Artificial Intelligence
Kollektion
- IngentaConnect
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Free E-Journal (出版社公開部分のみ）
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ACM Digital Library
- SpringerLink_现刊
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- MEDLINE
- IngentaConnect Journals
- Nexis
- Nature Journals Online
- Cambridge Journals Online (DEFF)
- Access via ScienceDirect (Elsevier)
- IEEE Electronic Library Online
Zeitschrift / Serie
- Formal Methods In System Design
- Nature Communications
- Acm Transactions On Computational Logic
- Artificial Intelligence
- Biodiversity Data Journal
- International Journal On Software Tools For Technology Transfer
- Journal Of Analytical Atomic Spectrometry
- Journal Of Automated Reasoning
- Mathematical Structures In Computer Science
- Oxidative Medicine And Cellular Longevity