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)
Ferreira, Rodrigo
Artikel
Parameterized Memory Models and Concurrent Separation Logic
Titel
Lecture notes in computer science
Seiten
267-286
Verlag
Springer-Verlag
Ort
Berlin ; New York
Identifikatoren
ISSN: 0302-9743; eISSN: 1611-3349; ISBN: 9783642119569; eISBN: 9783642119576
Volltextzugriff (PDF)