root.skip-to-content
Suchen
Entdecken
en
English
Anmelden
Mitgliedsnummer (ohne Präfix)
Passwort
Anmelden
Registrieren
Passwort vergessen?
Startseite Digitale Bibliothek
Fachbereiche
Grundlagen der Informatik (Ginf)
Algorithmen und Werzeuge für Petrinetze (AWPN)
Algorithmen und Werzeuge für Petrinetze (AWPN 2024)
Schlagwörter
Algorithmen und Werzeuge für Petrinetze (AWPN 2024)
https://dl.gi.de/handle/20.500.12116/45009
mehr...
Auflistung nach:
Neueste Veröffentlichungen
Erscheinungsjahr
Autor/in
Titel
Schlagwort
Neueste Veröffentlichungen
Erscheinungsjahr
Autor/in
Titel
Schlagwort
Auflistung Algorithmen und Werzeuge für Petrinetze (AWPN 2024) nach Schlagwort "Binary Decision Diagrams"
Los
Filter zurücksetzen
1 - 1 von 1
Treffer pro Seite
1
5
10
20
40
60
80
100
Sortieroptionen
Aufsteigend
Absteigend
Workshopbeitrag
Symbolic Model Checking in the Modular State Space using Binary Decision Diagrams
(
AWPN 2024 workshop proceedings,
2024
)
Zech, Lukas
mehr...
