direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

2014 [1] • 2013 [2] • 2012 [3] • 2011 [4] • 2010 [5] • 2009 [6] • 2008 [7] • 2007 [8] • 2006 [9] • 2005 [10] • 2004 [11] •
[12]

2014

A mechanized verification environment for real-time process algebras and low-level programming languages
Zitatschlüssel Bartels2014b
Autor Bartels, B.
Jahr 2014
Verlag OPUS Technische Universität Berlin (also PhD dissertation 2014)
Link zur Publikation [13] Download Bibtex Eintrag [14]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008