Reachability problems : 14th international conference, RP 2020, Paris, France, October 19-21, 2020 : proceedings

Reachability problems 14th international conference, RP 2020, Paris, France, October 19-21, 2020 : proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: RP (VerfasserIn)
Weitere Verfasser: Schmitz, Sylvain (HerausgeberIn), Potapov, Igor (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer 2020
Schriftenreihe:Lecture notes in computer science 12448
Schlagworte:
Konferenzschrift > Unendlicher Zustandsraum > Petri-Netz > Komplexitätstheorie > Entscheidbarkeit
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:xvii, 163 Seiten
Illustrationen, Diagramme
ISBN:9783030617387
978-3-030-61738-7