Logo des Repositoriums
 
Workshopbeitrag

Symbolic Model Checking in the Modular State Space using Binary Decision Diagrams

Vorschaubild

Volltext URI

Dokumententyp

Text/Workshop Paper

Dateien

AWPN24-paper05.pdf (196.82 KB)

Zusatzinformation

Datum

2024

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

AWPN 2024 workshop proceedings

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

Beschreibung

Zech, Lukas (2024): Symbolic Model Checking in the Modular State Space using Binary Decision Diagrams. AWPN 2024 workshop proceedings. DOI: 10.18420/AWPN2024-05. Bonn: Gesellschaft für Informatik e.V.. pp. 12-13. Copenhagen, Denmark. 18. October 2024

Schlagwörter

Model Checking , Modular State Space , Binary Decision Diagrams

Zitierform

DOI

10.18420/AWPN2024-05

Tags

Sammlungen

Algorithmen und Werzeuge für Petrinetze (AWPN 2024)