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...NASA Formal Methods, 2014, Vol.8430, p.98-112
2014
Volltextzugriff (PDF)
Verification, Induction, Termination Analysis, 2010, Vol.6463, p.81-101
2010
Volltextzugriff (PDF)
NASA Formal Methods, 2011, p.500-505
2011
Volltextzugriff (PDF)
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 2009, p.285-286
2009
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Birds
- Calculus
- Communicate Sequential Process
- Computer Science, Artificial Intelligence
- Concurrent Program
- Error Code
- Executable Code
- Intermediate Representation
- Label Transition System
- Model Check
- Operating Systems
- Operational Semantic
- Processor Scheduling
- Program Counter
- Proof Tree