Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Open Access
    Datensatz exportieren als...
  • BibTeX
Discriminating Traces with Time
Tools and Algorithms for the Construction and Analysis of Systems, p.21-37
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety
Verification, Model Checking, and Abstract Interpretation, p.174-189
Volltextzugriff (PDF)
1 – 2 von 2
Suche als RSS-Feed
Aktive Filter
KollektionSpringerLINK Contemporary (Konsortium Baden-Württemberg)
PublikationsformBuchkapitel
ThemaExecution Trace
Suchergebnisse filtern
Filter anzeigen