Monografie

A mechanized verification environment for real-time process algebras and low-level programming languages

Sprache
Englisch
Anmerkungen
Berlin, Technische Universität Berlin, Diss., 2014
Identifier
1066163103

Thema
Hochschulschrift

Beteiligte Personen und Organisationen
Bartels, Björn
Glesner, Sabine
Olderog, Ernst-Rüdiger
Jähnichen, Stefan

URN
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
26.01.2023, 13:57 MEZ

Objekttyp


  • Monografie

Beteiligte


  • Bartels, Björn
  • Glesner, Sabine
  • Olderog, Ernst-Rüdiger
  • Jähnichen, Stefan

Ähnliche Objekte (12)