search result

Cover von Free choice Petri nets
Author: Desel, Jörg; Esparza, Javier Search for this author
Year: 1995
Publisher: Cambridge, Cambridge University Press
Series: Cambridge tracts in theoretical computer science; 40
Media group: MONOGRAPHIE
Cover von State Complexity of Population Protocols (Invited Talk)

State Complexity of Population Protocols (Invited Talk)

Year: 2021
Media group: LIPIcs
Cover von Advances in Quantitative Analysis of Free-Choice Workflow Petri Nets (Invited Talk)

Advances in Quantitative Analysis of Free-Choice Workflow Petri Nets (Invited Talk)

Year: 2017
Media group: LIPIcs
Cover von Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Invited Talk)

Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Invited Talk)

Year: 2014
Media group: LIPIcs
Cover von Application and theory of Petri nets 2002
23rd international conference, Adelaide, Australia, June 24 - 30, 2002, proceedings
Search for this author
Year: 2002
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 2360
Media group: MONOGRAPHIE
Cover von Validity of Contextual Formulas

Validity of Contextual Formulas

Year: 2024
Media group: LIPIcs
Cover von Logics and Languages for Reliability and Security
Search for this author
Year: 2010
Publisher: Amsterdam, IOS Press
Series: NATO Science for Peace and Security Series : Sub-Series D: Information and Communication Security; 25
Media group: MONOGRAPHIE
Cover von Finite and Algorithmic Model Theory
Search for this author
Year: 2011
Publisher: Cambridge, Cambridge University Press
Series: London Mathematical Society lecture note series; 379
Media group: MONOGRAPHIE
Cover von Regular Model Checking for Systems with Effectively Regular Reachability Relation

Regular Model Checking for Systems with Effectively Regular Reachability Relation

Year: 2025
Media group: LIPIcs
Cover von Automata Theory
An Algorithmic Approach
Author: Esparza, Javier; Blondin, Michael Search for this author
Year: 2023
Publisher: Cambridge, MIT Press
Media group: OPENACCESS
OPEN V 11.1.0.0