Revisiting Underapproximate Reachability for Multipushdown Systems

From MaRDI portal
Publication:5039520

DOI10.1007/978-3-030-45190-5_21OpenAlexW3021938607MaRDI QIDQ5039520

Paul Gastin, Shankara Narayanan Krishna, Sparsa Roychowdhury, S. Akshay

Publication date: 13 October 2022

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

Full work available at URL: https://arxiv.org/abs/2002.05950




Related Items (1)


Uses Software



Cites Work




This page was built for publication: Revisiting Underapproximate Reachability for Multipushdown Systems