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...25 Years of Model Checking, p.27-45
Volltextzugriff (PDF)
Static Analysis, p.268-284
Volltextzugriff (PDF)
Logics of Programs, 2005, p.52-71
2005
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.325-339
2004
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 1998-01, Vol.20 (1), p.51-115
1998
Volltextzugriff (PDF)
SIAM journal on computing, 1999, Vol.29 (1), p.132-158
1999
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2004-01, Vol.26 (1), p.125-185
2004
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2007-02, Vol.9 (1), p.89-101
2007
Volltextzugriff (PDF)
International journal of foundations of computer science, 2006-08, Vol.17 (4), p.733-741
2006
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.27-41
2006
Volltextzugriff (PDF)
Formal Methods in Computer-Aided Design, 2004, p.399-413
2004
Volltextzugriff (PDF)
FM 2005: Formal Methods, 2005, p.497-511
2005
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2001-03, Vol.23 (2), p.187-242
2001
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.94-113
2006
Volltextzugriff (PDF)
FME '93: Industrial-Strength Formal Methods, 2005, p.632-651
2005
Volltextzugriff (PDF)
Computer Aided Verification, 2000, p.202-215
2000
Volltextzugriff (PDF)
Computer Aided Verification, 2000, p.154-169
2000
Volltextzugriff (PDF)
Automata, Languages and Programming, 2005, p.169-181
2005
Volltextzugriff (PDF)
2012 31st International Conference of the Chilean Computer Science Society, 2012, p.95-104
2012
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, p.522-530
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, 1997, p.19-34
1997
Volltextzugriff (PDF)
Automated Deduction - CADE-17, 2000, p.236-254
2000
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Computer Science
- Technology
- Life Sciences & Biomedicine
- Model Check
- Computer Science, Theory & Methods
- Software
- Humans
- Theoretical Computing
- Female
- Male
- Middle Aged
- Temporal Logic
- Adult
- Aged
- Computer Systems And Distributed Systems. User Interface
- Prevalence
Kollektion
- Ingenta
- SpringerLink Series
- MEDLINE
- EZB Electronic Journals Library
- Journals@Ovid Full Text
- ACM Digital Library
- Taylor & Francis Online
- Taylor & Francis Journals Auto-Holdings Collection
- Taylor & Francis
- Elsevier ScienceDirect Journals Complete
- NUS Single-Journal Subscriptions
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IEEE Xplore
- IngentaConnect Journals
- Business Source Ultimate
- Springer Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley-Blackwell Journals
Zeitschrift / Serie
- Ophthalmic Epidemiology
- Acm Transactions On Programming Languages And Systems
- Acm Transactions On Software Engineering And Methodology
- Electronic Notes In Theoretical Computer Science
- The Isme Journal
- Archaea
- British Journal Of Psychiatry
- Canadian Anaesthetists' Society Journal
- Canadian Anaesthetists’ Society Journal
- Communications Of The Acm