Sortiert nach
IEEE transactions on industrial informatics, 2018-01, Vol.14 (1), p.370-379
2018
- Link zum Volltext
IEEE transactions on automatic control, 2022-12, Vol.67 (12), p.6333-6348
2022
- Link zum Volltext
Journal of the ACM, 2018-09, Vol.65 (5), p.1-68, Article 30
2018
Link zum Volltext
IEEE transactions on dependable and secure computing, 2024-03, Vol.21 (2), p.701-716
2024
- Link zum Volltext
IEEE transactions on automatic control, 2021-03, Vol.66 (3), p.1040-1054
2021
- Link zum Volltext
Programming Languages and Systems, p.364-389
Link zum Volltext
International journal on software tools for technology transfer, 2022-06, Vol.24 (3), p.331-350
2022
Link zum Volltext
Mathematical Foundations of Computer Science 2015, p.307-318
Link zum Volltext
Acta informatica, 2019-04, Vol.56 (3), p.255-285
2019
Link zum Volltext
Distributed computing, 2022-02, Vol.35 (1), p.37-57
2022
Link zum Volltext
Formal methods in system design, 2016-06, Vol.48 (3), p.274-300
2016
Link zum Volltext
Formal methods in system design, 2022-02, Vol.60 (1), p.33-86
2022
Link zum Volltext
Performance evaluation, 2011-02, Vol.68 (2), p.90-104
2011
Link zum Volltext
Proceedings of the 31st Annual ACM/IEEE Symposium on logic in computer science, 2016, p.672-681
2016
Link zum Volltext
Logical methods in computer science, 2023-01, Vol.19, Issue 4
2023
Link zum Volltext
Formal methods in system design, 2022-08, Vol.61 (1), p.90-109
2022
Link zum Volltext
Formal aspects of computing, 2021-08, Vol.33 (4-5), p.637-667
2021
Link zum Volltext
Proceedings of the 31st Annual ACM/IEEE Symposium on logic in computer science, 2016, p.31-45
2016
Link zum Volltext
International journal on software tools for technology transfer, 2020-04, Vol.22 (2), p.135-161
2020
Link zum Volltext
International journal on software tools for technology transfer, 2022-08, Vol.24 (4), p.589-610
2022
Link zum Volltext
The Journal of artificial intelligence research, 2023-01, Vol.77, p.1637-1696
2023
Link zum Volltext
Reliability engineering & system safety, 2019-06, Vol.186, p.37-50
2019
Link zum Volltext
Journal of computer and system sciences, 2021-08, Vol.119, p.183-210
2021
Link zum Volltext
1, 2002
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Technology
- Science & Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Software Engineering
- Engineering
- Model Check
- Model Checking
- Software
- Theoretical Computing
- Mathematics
- Markov Processes
- Probabilistic Logic
- Logic
- Computer Science, Hardware & Architecture
- Markov Decision Process
Kollektion
- Ingenta
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- HEAL-Link subscriptions: Springer Book Series
- EZB Free E-Journals
- IEEE Electronic Library (IEL)
- ACM Digital Library
- Elsevier ScienceDirect Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink (Online service)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- EBSCOhost Business Source Ultimate
- ProQuest Dissertations & Theses A&I
- Oxford Journals
- Cambridge University Press online books
- Cambridge Core All Books
Zeitschrift / Serie
- Proceedings Of Acm On Programming Languages
- Theoretical Computer Science
- Information And Computation
- International Journal On Software Tools For Technology Transfer
- Formal Methods In System Design
- Electronic Notes In Theoretical Computer Science
- Ieee Transactions On Software Engineering
- Logical Methods In Computer Science
- Science Of Computer Programming
- Acm Sigmetrics Performance Evaluation Review
Neu hinzugefügt