Sortiert nach
ACM transactions on database systems, 2012-12, Vol.37 (4), p.1-46
2012
Link zum Volltext
Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-30
2019
Link zum Volltext
Logical methods in computer science, 2021-01, Vol.17, Issue 4
2021
Link zum Volltext
ACM transactions on programming languages and systems, 2019-06, Vol.41 (2), p.1-76, Article 12
2019
Link zum Volltext
CAV 2023: Computer Aided Verification, 2023, p.18
2023
Link zum Volltext
Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-32
2018
Link zum Volltext
Acta informatica, 2016-08, Vol.53 (5), p.493-508
2016
Link zum Volltext
Theoretical computer science, 2018-11, Vol.750, p.24-37
2018
Link zum Volltext
Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.638-666, Article 22
2024
Link zum Volltext
SIGPLAN notices, 2016-04, Vol.51 (1), p.123-136
2016
Link zum Volltext
Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.1945-1977, Article 65
2024
Link zum Volltext
Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.1-32, Article 1
2024
Link zum Volltext
SIGPLAN notices, 2015-12, Vol.50 (10), p.1-19
2015
Link zum Volltext
Model Checking, Synthesis, and Learning, 2022, Vol.13030, p.97-114
2022
Link zum Volltext
Automated Technology for Verification and Analysis, p.352-369
Link zum Volltext
Computer Aided Verification, 2016, p.112-133
2016
Link zum Volltext
Proceedings of ACM on programming languages, 2022-01, Vol.6 (POPL), p.1-31
2022
Link zum Volltext
Automated Reasoning, 2020, p.122-140
2020
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, 2017, p.499-517
2017
Link zum Volltext
Programming Languages and Systems, p.273-292
Link zum Volltext
UPMARC, 2016, p.455-475
2016
Link zum Volltext
Programming Languages and Systems, p.89-108
Link zum Volltext
Reachability Problems, 2022, Vol.13608
2022
Link zum Volltext
Reachability Problems, 2022, Vol.13608
2022
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
Kollektion
- EZB Electronic Journals Library
- IngentaConnect
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- NUS Single-Journal Subscriptions
- Elsevier ScienceDirect Journals Complete
- IngentaConnect Journals
- Wiley Online Library - AutoHoldings Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Springer Nature - Connect here FIRST to enable access
- Wiley Online Library
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- SpringerNature Journals
- Nexis
- JSTOR Complete Journals
- Springer Books
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Oxford University Press Journals Current
- Oxford Journals 2020 Medicine
- PBSC : Psychology and Behavioral Sciences Collection - Journals
Zeitschrift / Serie
Neu hinzugefügt