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...
Link-Resolver
Folgender Titel konnte gefunden werden
Autor(en)
Atig, Mohamed Faouzi
Artikel
Context-Bounded Analysis of TSO Systems
Titel
Lecture notes in computer science
Seiten
21-38
Verlag
Springer-Verlag
Ort
Berlin ; New York
Identifikatoren
ISSN: 0302-9743; eISSN: 1611-3349; ISBN: 3642548474; eISBN: 9783642548482
Volltextzugriff (PDF)