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