Automata-based model checking of recursive systems

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
RWTH Aachen University, Bachelorarbeit, 2021

Ereignis
Veröffentlichung
(wo)
Aachen
(wer)
Universitätsbibliothek der RWTH Aachen
(wann)
2021
Urheber
Gehnen, Christina
Winkler, Tobias
Beteiligte Personen und Organisationen
Katoen, Joost-Pieter
Noll, Thomas

DOI
10.18154/RWTH-2024-02598
URN
urn:nbn:de:101:1-2024031001155594237182
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:55 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

  • Gehnen, Christina
  • Winkler, Tobias
  • Katoen, Joost-Pieter
  • Noll, Thomas
  • Universitätsbibliothek der RWTH Aachen

Entstanden

  • 2021

Ähnliche Objekte (12)