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