Sortiert nach
Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 2017-10, Vol.375 (2104), p.20150403-20150403
2017
Volltextzugriff (PDF)
Computer Aided Verification, p.141-157
Volltextzugriff (PDF)
Programming Languages and Systems, p.512-532
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2018-05, Vol.40 (2), p.1-45, Article 5
2018
Volltextzugriff (PDF)
Formal aspects of computing, 2017-09, Vol.29 (5), p.911-931
2017
Volltextzugriff (PDF)
Computer Aided Verification, p.462-482
Volltextzugriff (PDF)
Programming Languages and Systems, p.183-204
Volltextzugriff (PDF)
2nd ed. 2016., 2016
Volltextzugriff (PDF)
Computer science review, 2020-08, Vol.37, p.100270, Article 100270
2020
Volltextzugriff (PDF)
Formal methods in system design, 2004-09, Vol.25 (2/3), p.105-127
2004
Volltextzugriff (PDF)
Artificial intelligence, 2023-09, Vol.322, p.103949, Article 103949
2023
Volltextzugriff (PDF)
Annual ACM IEEE Design Automation Conference: Proceedings of the 40th conference on Design automation; 02-06 June 2003, 2003, p.368-371
2003
Volltextzugriff (PDF)
Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 2017-10, Vol.375 (2104), p.1-20
2017
Volltextzugriff (PDF)
Formal methods in system design, 2011-08, Vol.39 (1), p.83-113
2011
Volltextzugriff (PDF)
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, p.109-119
2018
Volltextzugriff (PDF)
IEEE transactions on computer-aided design of integrated circuits and systems, 2008-07, Vol.27 (7), p.1165-1178
2008
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.280-295
Volltextzugriff (PDF)
Computer Aided Verification, p.343-361
Volltextzugriff (PDF)
ACM transactions on embedded computing systems, 2019-10, Vol.18 (5s), p.1-23
2019
Volltextzugriff (PDF)
2008 edition, 2008
Volltextzugriff (PDF)
The Journal of artificial intelligence research, 2020-04, Vol.67, p.881-903
2020
Volltextzugriff (PDF)
The Journal of artificial intelligence research, 2024-07, Vol.80, p.1099-1137
2024
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Software Engineering
- Computer Science, Hardware & Architecture
- Logic
- Science & Technology - Other Topics
- Engineering
- Software
- Computer Programming / Software Development
- Model Check
- Engineering, Electrical & Electronic
- Model Checking
- Mathematical Theory Of Computation
- Applied Sciences
- Exact Sciences And Technology
- Decision Procedure
- Predicate Abstraction
Kollektion
- IngentaConnect
- HEAL-Link subscriptions: Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ACM Digital Library
- IEEE Xplore
- springer (창간호~2014)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Journals@Ovid Full Text
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- MEDLINE
- Wiley Online Library Journals
- Business Source Ultimate
- Wiley Online Library Full Collection 2018
- IngentaConnect Journals
- JSTOR
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Psychology and Behavioral Sciences Collection
- Springer Nature - Connect here FIRST to enable access
Zeitschrift / Serie
- Formal Methods In System Design
- International Journal On Software Tools For Technology Transfer
- Formal Aspects Of Computing
- Acm Transactions On Programming Languages And Systems
- Journal Of Automated Reasoning
- Sigplan Notices
- Ieee Transactions On Computer-Aided Design Of Integrated Circuits And Systems
- Acm Sigplan Notices
- Acm Transactions On Design Automation Of Electronic Systems
- Acm Transactions On Embedded Computing Systems
Neu hinzugefügt