Hochschulschrift

Symbolische LTL-Verifikation von Petrinetzen

Location
Deutsche Nationalbibliothek Frankfurt am Main
Dimensions
30 cm
Extent
153 S.
Language
Deutsch
Notes
graph. Darst.
Cottbus, Brandenburgische Techn. Univ., Diss., 2001

Keyword
Stellen-Transitions-Netz
Verifikation
Model Checking
Prozessalgebra
Binäres Entscheidungsdiagramm
Temporale Logik
Komplexes System
Nebenläufigkeit
Petri-Netz
Spezifikationssprache
Model Checking
Temporale Logik

Creator
Spranger, Jochen

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.06.2025, 2:04 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Object type

  • Hochschulschrift

Associated

  • Spranger, Jochen

Other Objects (12)