search result

Cover von STACS 92
9th annual symposium on theoretical aspects of computer science : Cachan, France, February 13 - 15, 1992 : proceedings
Search for this author
Year: 1992
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 577
Media group: MONOGRAPHIE
Cover von The Well Structured Problem for Presburger Counter Machines

The Well Structured Problem for Presburger Counter Machines

Year: 2019
Media group: LIPIcs
Cover von STACS 93
10th annual symposium on theoretical aspects of computer science : Würzburg, Germany, February 25 - 27, 1993 : proceedings
Search for this author
Year: 1993
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 665
Media group: MONOGRAPHIE
Cover von Verification of Flat FIFO Systems

Verification of Flat FIFO Systems

Year: 2019
Media group: LIPIcs
Cover von Synchronizability of Communicating Finite State Machines is not Decidable

Synchronizability of Communicating Finite State Machines is not Decidable

Year: 2017
Media group: LIPIcs
Cover von Extending the Rackoff technique to Affine nets

Extending the Rackoff technique to Affine nets

Year: 2012
Media group: ARTICLE
Cover von Computer aided verification
13th international conference, Paris, France, July 18 - 22, 2001, proceedings
Search for this author
Year: 2001
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 2102
Media group: MONOGRAPHIE
Cover von About Decisiveness of Dynamic Probabilistic Models

About Decisiveness of Dynamic Probabilistic Models

Year: 2023
Media group: LIPIcs
Cover von Bounded Reachability Problems Are Decidable in FIFO Machines

Bounded Reachability Problems Are Decidable in FIFO Machines

Year: 2020
Media group: LIPIcs
Cover von Reachability for Two-Counter Machines with One Test and One Reset

Reachability for Two-Counter Machines with One Test and One Reset

Year: 2018
Media group: LIPIcs
OPEN V 11.1.0.0