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)
- NASA Formal Methods Pasadena, Calif.) 2011 : (3rd :; NFM (Symposium) Corporate Author
- Artikel
- LLVM2CSP: Extracting CSP Models from Concurrent Programs
- Titel
- NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings /
- Verlag
- Springer Berlin Heidelberg :
- Ort
- Berlin, Heidelberg :
- Erscheinungsjahr
- 2011.
Es wurden folgende elektronische Volltexte gefunden