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
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...
Open Access
    Datensatz exportieren als...
  • BibTeX
Undecidable Problems About Timed Automata
Formal Modeling and Analysis of Timed Systems, 2006, p.187-199
2006
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Resilience and Home-Space for WSTS
Verification, Model Checking, and Abstract Interpretation, p.147-168
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Introducing Divergence for Infinite Probabilistic Models
Reachability Problems, p.127-140
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A generalization of the procedure of karp and miller to well structured transition systems
Automata, Languages and Programming, 2005, p.499-508
2005
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Incompleteness Theorems, Large Cardinals, and Automata over Finite Words
Theory and Applications of Models of Computation, p.231-246
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The Ideal Theory for WSTS
Reachability Problems, 2016, Vol.9899, p.1-22
2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Forward Analysis for WSTS, Part II: Complete WSTS
Automata, Languages and Programming, p.188-199
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Handling Infinitely Branching WSTS
Automata, Languages, and Programming, p.13-25
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
On the Accepting Power of 2-Tape Büchi Automata
Lecture notes in computer science, 2006, p.301-312
2006
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Coverability and Termination in Recursive Petri Nets
Application and Theory of Petri Nets and Concurrency, p.429-448
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Borel Ranks and Wadge Degrees of Context Free ω-Languages
Lecture notes in computer science, 2005, p.129-138
2005
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
On Infinitary Rational Relations and Borel Sets
Discrete Mathematics and Theoretical Computer Science, 2003, p.155-167
2003
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Supporting Indirect Data Mapping in OpenMP
OpenMP: Heterogenous Execution and Data Movements, 2015, Vol.9342, p.260-272
2015
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
The Automatic Baire Property and an Effective Property of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\omega $$\end{document}-Rational Functions
Language and Automata Theory and Applications, p.303-314
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Reachability in Register Machines with Polynomial Updates
Mathematical Foundations of Computer Science 2013, p.409-420
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Polynomial Time Image Computation with Interval-Definable Counters Systems
Lecture notes in computer science, 2004, p.182-197
2004
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Image Computation in Infinite State Model Checking
Computer Aided Verification, 2004, p.361-371
2004
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Fast LTL to Büchi Automata Translation
Computer Aided Verification, 2001, p.53-65
2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Blocage et vivacité dans les réseaux a pile-file
STACS 84, 2005, p.151-162
2005
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
The SLAM Toolkit
Computer Aided Verification, 2001, p.260-264
2001
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Verification of Embedded Reactive Fiffo Systems
LATIN 2002: Theoretical Informatics, 2002, p.400-414
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A survey on the decidability questions for classes of fifo nets
Advances in Petri Nets 1988, 2005, p.106-132
2005
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A Practical Approach to Coverage in Model Checking
Computer Aided Verification, 2001, p.66-78
2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
On the Thermodynamics of Supersymmetric Haldane–Shastry Spin Chains
Classical and Quantum Physics, 2019, Vol.229, p.187-201
2019
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Finding Bugs in an Alpha Microprocessor Using Satisfiability Solvers
Computer Aided Verification, 2001, p.454-464
2001
Volltextzugriff (PDF)
1 – 25 von 377
Suche als RSS-Feed
Aktive Filter
KollektionSAGE Journals
SpracheUkrainisch
KollektionIngenta
PublikationsformBuchkapitel
Suchergebnisse filtern
Filter anzeigen