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... - Autor(en)
- Flanagan, Cormac
- Artikel
- Thread-Modular Verification for Shared-Memory Programs
- Titel
- Programming languages and systems proceedings
- Verlag
- Springer
- Ort
- Berlin [u.a.]
- Erscheinungsjahr
- 2002
Es wurden folgende elektronische Volltexte gefunden