Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Electronic proceedings in theoretical computer science, 2013-06, Vol.117 (Proc. QAPL 2013), p.49-65
2013
Volltextzugriff (PDF)
Theoretical computer science, 2016-12, Vol.655, p.155-192
2016
Volltextzugriff (PDF)
Logical methods in computer science, 2006-11, Vol.2, Issue 5
2006
Volltextzugriff (PDF)
International journal on artificial intelligence tools, 2020-06, Vol.29 (3n04), p.2060012
2020
Volltextzugriff (PDF)
Science of computer programming, 2012-07, Vol.77 (7-8), p.908-939
2012
Volltextzugriff (PDF)
Acta informatica, 2016-04, Vol.53 (3), p.247-299
2016
Volltextzugriff (PDF)
2013 20th International Symposium on Temporal Representation and Reasoning, 2013, p.54-61
2013
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, p.397-413
Volltextzugriff (PDF)
2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI), 2018, p.81-89
2018
Volltextzugriff (PDF)
Fundamentals of Software Engineering, p.129-145
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.493-509
2005
Volltextzugriff (PDF)
Model Checking and Artificial Intelligence, p.65-89
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2004-03, Vol.5 (2-3), p.185-204
2004
Volltextzugriff (PDF)
Formal aspects of computing, 2003-04, Vol.14 (3), p.267-280
2003
Volltextzugriff (PDF)
Computer Aided Verification, p.425-429
Volltextzugriff (PDF)
Lecture notes in computer science, 2000, p.69-83
2000
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2002-12, Vol.66 (2), p.160-177
2002
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2006-02, Vol.149 (1), p.79-96
2006
Volltextzugriff (PDF)
Computer Aided Verification, p.532-546
Volltextzugriff (PDF)
Computer Aided Verification, 2004, p.462-465
2004
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2005-01, Vol.113, p.85-104
2005
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2003-08, Vol.80, p.289-293
2003
Volltextzugriff (PDF)
Chemistry : a European journal, 2016-12, Vol.22 (52), p.18953-18962
2016
Volltextzugriff (PDF)
Gastroenterology (New York, N.Y. 1943), 2012-05, Vol.142 (5), p.S-942-S-942
2012
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
- Model Check
- Linear Temporal Logic
- Unsatisfiable Cores
- Computer Science, Artificial Intelligence
- Ltl
- Software
- Temporal Logic
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software Engineering
- Temporal Resolution
- Bound Model Check
- Debugging
- Model Checking
Kollektion
- Ingenta.com
- EZB Electronic Journals Library
- SpringerLink Series
- Elsevier ScienceDirect Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- IEEE/IET Electronic Library
- Wiley Blackwell Single Titles
- ACM Digital Library
- MEDLINE
- ProQuest Dissertations & Theses A&I
- Wiley Online Library
- NUS Single-Journal Subscriptions
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Acta Informatica
- Chemistry
- Chemistry : A European Journal
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Formal Aspects Of Computing
- Gastroenterology
- International Journal On Artificial Intelligence Tools
- International Journal On Software Tools For Technology Transfer