Optimal time-bounded reachability analysis for concurrent systems

DOI10.1007/978-3-030-17465-1_11zbMath1527.68139OpenAlexW2926242892MaRDI QIDQ6091409

Yuliya Butkova, Gereon Fox

Publication date: 24 November 2023

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-17465-1_11

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Optimal time-bounded reachability analysis for concurrent systems