Sortiert nach
Performance evaluation, 2011-02, Vol.68 (2), p.90-104
2011
Link zum Volltext
Acta informatica, 2020-10, Vol.57 (3-5), p.465-512
2020
Link zum Volltext
Electronic proceedings in theoretical computer science, 2019-01, Vol.286 (Proc. CREST 2018), p.34-49
2019
Link zum Volltext
Formal aspects of computing, 2019-04, Vol.31 (2), p.261-285
2019
Link zum Volltext
Logical methods in computer science, 2022-01, Vol.18, Issue 1
2022
Link zum Volltext
Logical methods in computer science, 2014-09, Vol.10, Issue 3
2014
Link zum Volltext
Logical methods in computer science, 2014-12, Vol.10, Issue 4
2014
Link zum Volltext
Artificial intelligence, 2021-07, Vol.296, p.103473, Article 103473
2021
Link zum Volltext
Electronic proceedings in theoretical computer science, 2015-11, Vol.196 (Proc. MARS 2015), p.25-36
2015
Link zum Volltext
1, 2002
Link zum Volltext
Formal Techniques for Distributed Objects, Components, and Systems, p.111-128
Link zum Volltext
ModelEd, TestEd, TrustEd, p.357-367
Link zum Volltext
International journal on software tools for technology transfer, 2011, Vol.13 (1), p.3-19
2011
Link zum Volltext
Information and computation, 2015-10, Vol.244, p.134-171
2015
Link zum Volltext
ACM transactions on modeling and computer simulation, 2021-07, Vol.31 (3), p.1-34
2021
Link zum Volltext
Quantitative Evaluation of Systems, p.15-38
Link zum Volltext
Science of computer programming, 2015-11, Vol.112, p.3-23
2015
Link zum Volltext
Logical methods in computer science, 2012-01, Vol.8, Issue 2
2012
Link zum Volltext
The Journal of artificial intelligence research, 2020-05, Vol.68, p.247-310
2020
Link zum Volltext
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
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Life Sciences & Biomedicine
- Humans
- Mathematics
- Software
- Software Engineering
- Male
- Theoretical Computing
- Engineering
- Physical Sciences
- Model Checking
- Model Check
- Logic
Kollektion
- IngentaConnect Journals
- HEAL-Link subscriptions: Springer Book Series
- Springer Books
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB*
- IEL
- MEDLINE
- Elsevier ScienceDirect Journals Complete
- IngentaConnect Journals
- LWW Total
- Springer Journals (Some 2024 issues temporarily unavailable)
- ACM Digital Library Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- De Gruyter eBooks
- Publisher site
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library
- Wiley Online Library
- Oxford Journals
Zeitschrift / Serie
- The Journal Of Urology
- International Journal On Software Tools For Technology Transfer
- Information And Computation
- Logical Methods In Computer Science
- Electronic Proceedings In Theoretical Computer Science
- Neoplasia
- Science Of Computer Programming
- Acm Transactions On Modeling And Computer Simulation
- Bmc Cancer
- Electronic Notes In Theoretical Computer Science
Neu hinzugefügt