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





Pharmacological research, 2014-10, Vol.88, p.53-61
2014
Volltextzugriff (PDF)


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





Computer Aided Verification, p.4-4
Volltextzugriff (PDF)

Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation, 2011, p.70-87
2011
Volltextzugriff (PDF)

Formal aspects of computing, 2008-07, Vol.20 (4-5), p.379-405
2008
Volltextzugriff (PDF)

The Polyranking Principle
Automata, Languages and Programming, 2005, p.1349-1361
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)



Verification, Model Checking, and Abstract Interpretation, p.70-87
Volltextzugriff (PDF)

European journal of radiology Open, 2018-01, Vol.5, p.141-146
2018
Volltextzugriff (PDF)


Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt