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)
Schlagwörter
Algorithmen und Werzeuge für Petrinetze (AWPN)
https://dl.gi.de/handle/20.500.12116/45008
mehr...
Auflistung nach:
Teilbereichen
Erscheinungsjahr
Autor/in
Titel
Schlagwort
Teilbereichen
Erscheinungsjahr
Autor/in
Titel
Schlagwort
Auflistung Algorithmen und Werzeuge für Petrinetze (AWPN) nach Schlagwort "Model Checking"
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...
