search result

Cover von Distance Between Mutually Reachable Petri Net Configurations

Distance Between Mutually Reachable Petri Net Configurations

Year: 2019
Media group: LIPIcs
Cover von Petri Net Reachability Problem (Invited Talk)

Petri Net Reachability Problem (Invited Talk)

Year: 2019
Media group: LIPIcs
Cover von Polynomial Vector Addition Systems With States

Polynomial Vector Addition Systems With States

Year: 2018
Media group: LIPIcs
Cover von The Semilinear Home-Space Problem Is Ackermann-Complete for Petri Nets

The Semilinear Home-Space Problem Is Ackermann-Complete for Petri Nets

Year: 2023
Media group: LIPIcs
Cover von Reachability in Two-Dimensional Vector Addition Systems with States

Reachability in Two-Dimensional Vector Addition Systems with States

One Test Is for Free
Year: 2020
Media group: LIPIcs
Cover von Ideal Decompositions for Vector Addition Systems (Invited Talk)

Ideal Decompositions for Vector Addition Systems (Invited Talk)

Year: 2016
Media group: LIPIcs
Cover von A Forward-Only Construction of Semilinear Inductive Invariants for VAS

A Forward-Only Construction of Semilinear Inductive Invariants for VAS

Year: 2026
Media group: LIPIcs
Cover von On the Reachability Problem for Two-Dimensional Branching VASS

On the Reachability Problem for Two-Dimensional Branching VASS

Year: 2025
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2023
Media group: LIPIcs
Cover von LIPIcs, Volume 272, MFCS 2023, Complete Volume

LIPIcs, Volume 272, MFCS 2023, Complete Volume

Year: 2023
Media group: LIPIcs
OPEN V 11.1.0.0