Sortiert nach
Computer Aided Verification, p.646-662
Link zum Volltext
Formal methods in system design, 2021-07, Vol.57 (1), p.87-115
2021
Link zum Volltext
Journal of automated reasoning, 2020-03, Vol.64 (3), p.361-362
2020
Link zum Volltext
Electronic proceedings in theoretical computer science, 2017-11, Vol.260 (Proc. SYNT 2017), p.81-96
2017
Link zum Volltext
Logical methods in computer science, 2018-01, Vol.14, Issue 4
2018
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, p.692-707
Link zum Volltext
2015 IEEE 22nd Symposium on Computer Arithmetic, 2015, p.160-167
2015
Link zum Volltext
Electronic proceedings in theoretical computer science, 2011-10, Vol.72 (Proc. PDMC 2011), p.55-62
2011
Link zum Volltext
Electronic proceedings in theoretical computer science, 2019-08, Vol.301 (Proc. PxTP 2019), p.18-26
2019
Link zum Volltext
2015, 2015
Link zum Volltext
Lecture notes in computer science, 2005, p.36-50
2005
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, p.200-205
Link zum Volltext
Systems (Basel), 2021-03, Vol.9 (1), p.18
2021
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, p.194-199
Link zum Volltext
Journal of the ACM, 2006-11, Vol.53 (6), p.937-977
2006
Link zum Volltext
ACM SIGAda Ada Letters, 2023-04, Vol.42 (2), p.32-39
2023
Link zum Volltext
Electronic proceedings in theoretical computer science, 2016-06, Vol.210 (Proc. HaTT 2016), p.21-29
2016
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, p.68-82
Link zum Volltext
Electronic proceedings in theoretical computer science, 2017-12, Vol.262, p.13-13
2017
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, p.447-450
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, p.533-548
Link zum Volltext
International journal on software tools for technology transfer, 2017-11, Vol.19 (6), p.649-652
2017
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, 2015, p.353-367
2015
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Artificial Intelligence
- Computer Science, Theory & Methods
- Software Engineering
- Logic
- Science & Technology - Other Topics
- Humans
- Computer Science, Software Engineering
- Life Sciences & Biomedicine
- Computer Programming / Software Development
- Algorithms & Data Structures
- Applied Sciences
- Exact Sciences And Technology
- Artificial Intelligence
- Computer Science; Control Theory; Systems
- Female
- Model Check
- Satisfiability Modulo Theories
Kollektion
- IngentaConnect Journals
- HEAL-Link subscriptions: Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Free E-Journals
- MEDLINE
- Elsevier ScienceDirect Journals Complete
- Journals@OVID
- IEEE Electronic Library (IEL)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLink (Online service)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ACM Digital Library Complete
- Single Journals
- IngentaConnect Journals
- Wiley Online Library Journals
- EBSCOhost Business Source Ultimate
- JSTOR Complete Journals
- Wiley Online Library Full Collection 2018
- BMJ journals single titles
Zeitschrift / Serie
- Journal Of Automated Reasoning
- Electronic Proceedings In Theoretical Computer Science
- Formal Methods In System Design
- Electronic Notes In Theoretical Computer Science
- Information And Computation
- Theoretical Computer Science
- Acm Sigada Ada Letters
- Biochemical Pharmacology
- Cancer Research
- Electronic Proceedings In Theoretical Computer Science, Eptcs