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...
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...

12th International Symposium on Temporal Representation and Reasoning (TIME'05), 2005, p.166-174
2005
Volltextzugriff (PDF)


What's decidable about arrays?
Lecture notes in computer science, 2006, p.427-442
2006
Volltextzugriff (PDF)

Lecture notes in computer science, 2005, p.25-41
2005
Volltextzugriff (PDF)

Gastroenterology (New York, N.Y. 1943), 1996-04, Vol.110 (4), p.1150-1155
1996
Volltextzugriff (PDF)

Orion (Johannesburg, South Africa), 2009-06, Vol.25 (1), p.1
2009
Volltextzugriff (PDF)

IEEE transactions on software engineering, 1992-08, Vol.18 (8), p.674-704
1992
Volltextzugriff (PDF)

The Polyranking Principle
Automata, Languages and Programming, 2005, p.1349-1361
2005
Volltextzugriff (PDF)

What good are digital clocks?
Automata, Languages and Programming, 2005, p.545-558
2005
Volltextzugriff (PDF)

Termination of polynomial programs
Lecture notes in computer science, 2005, p.113-129
2005
Volltextzugriff (PDF)

Open Access
Linear Ranking with Reachability
Computer Aided Verification, 2005, p.491-504
2005
Volltextzugriff (PDF)

Time for Verification, 2010, Vol.6200, p.202-259
2010
Volltextzugriff (PDF)

Time for Verification, 2010, Vol.6200, p.72-95
2010
Volltextzugriff (PDF)


Time for Verification, 2010, Vol.6200, p.260-278
2010
Volltextzugriff (PDF)

CONCUR 2005 – Concurrency Theory, 2005, p.488-502
2005
Volltextzugriff (PDF)

Information and computation, 1994-08, Vol.112 (2), p.273-337
1994
Volltextzugriff (PDF)


Lecture notes in computer science, 2006, p.111-125
2006
Volltextzugriff (PDF)

Time for Verification, 2010, Vol.6200, p.279-361
2010
Volltextzugriff (PDF)

Time for Verification, 2010, Vol.6200, p.1-25
2010
Volltextzugriff (PDF)

Time for Verification, 2010, Vol.6200, p.167-184
2010
Volltextzugriff (PDF)

2010 edition., 2010
Volltextzugriff (PDF)

Time for Verification, 2010, Vol.6200, p.26-41
2010
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt