direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

LLVM2CSP: Extracting CSP Models from Concurrent Programs
Zitatschlüssel Kleine2011
Autor Moritz Kleine and Björn Bartels and Thomas Göthel and Steffen Helke and Dirk Prenzel
Buchtitel Proceedings of the Third NASA Formal Methods Symposium
Seiten 500-505
Jahr 2011
ISBN 978-3-642-20397-8
ISSN 0302-9743
Verlag Springer
Serie Lecture Notes in Computer Science
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe