Sortiert nach
1st Edition 2016, 2016
Volltextzugriff (PDF)
Computing, 2019-01, Vol.101 (1), p.1-2
2019
Volltextzugriff (PDF)
The bulletin of symbolic logic, 2010-12, Vol.16 (4), p.457-515
2010
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2021-10, Vol.23 (5), p.825-825
2021
Volltextzugriff (PDF)
Language and Automata Theory and Applications, 2014, p.62-75
2014
Volltextzugriff (PDF)
COMPUTER AIDED VERIFICATION, PT I, 2015, p.462-469
2015
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, 2013, p.530-536
2013
Volltextzugriff (PDF)
CONCUR 2004 - Concurrency Theory, 2004, p.35-48
2004
Volltextzugriff (PDF)
Logical methods in computer science, 2018-01, Vol.14 (1)
2018
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2017, Vol.19 (5), p.549-563
2017
Volltextzugriff (PDF)
Information and computation, 2011-03, Vol.209 (3), p.248-279
2011
Volltextzugriff (PDF)
Logical methods in computer science, 2018-01, Vol.14 (1)
2018
Volltextzugriff (PDF)
Logical methods in computer science, 2013-11, Vol.9, Issue 4 (4), p.10:1
2013
Volltextzugriff (PDF)
Static Analysis, 2012, p.164-180
2012
Volltextzugriff (PDF)
Model Checking, Synthesis, and Learning, 2021, Vol.13030, p.78-96
2021
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2013-02, Vol.107 (Proc. Infinity 2012), p.9-24
2013
Volltextzugriff (PDF)
Logical methods in computer science, 2014-01, Vol.10, Issue 4 (4)
2014
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-02, Vol.140 (Proc. INFINITY 2013), p.35-47
2014
Volltextzugriff (PDF)
Theoretical computer science, 2003, Vol.290 (1), p.241-264
2003
Volltextzugriff (PDF)
Information and computation, 1996-06, Vol.127 (2), p.91-101
1996
Volltextzugriff (PDF)
Journal of the ACM, 2017-09, Vol.64 (4), p.1-49
2017
Volltextzugriff (PDF)
Logical methods in computer science, 2010-09, Vol.6, Issue 3 (3), p.14:1
2010
Volltextzugriff (PDF)
Logical methods in computer science, 2007-11, Vol.3, Issue 4 (4), p.1
2007
Volltextzugriff (PDF)
2011, 2014
Volltextzugriff (PDF)
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
- Computer Science, Information Systems
- Computer Science, Hardware & Architecture
- Datavetenskap
- Applied Sciences
- Exact Sciences And Technology
- Computer Science; Control Theory; Systems
- Model Check
- Software Engineering
- Teknikvetenskap
- Software
- Information Technology
- Informationsteknik
- Logic
- Science & Technology - Other Topics
- Theoretical Computing
Kollektion
- Ingenta
- Springer Book Series
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- EZB Electronic Journals Library
- ACM Digital Library
- IEEE Xplore
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Access via ScienceDirect (Elsevier)
- Springer journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- RCN full-text journals@Ovid
- Access via Business Source (EBSCOhost)
- Cambridge Journals Online (DEFF)
- Oxford Journals
- ProQuest Dissertations & Theses A&I
- JSTOR
- Project Euclid Complete
Zeitschrift / Serie
- International Journal On Software Tools For Technology Transfer
- Logical Methods In Computer Science
- Information And Computation
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- Theoretical Computer Science
- Electronic Notes In Theoretical Computer Science
- Formal Methods In System Design
- Arxiv
- Electronic Proceedings In Theoretical Computer Science