Reachability in Concurrent Uninterpreted Programs.
From MaRDI portal
Publication:5875684
DOI10.4230/LIPIcs.FSTTCS.2019.46OpenAlexW2994326874MaRDI QIDQ5875684
Madhusudan Parthasarathy, Salvatore La Torre
Publication date: 3 February 2023
Full work available at URL: https://doi.org/10.4230/LIPIcs.FSTTCS.2019.46
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)
This page was built for publication: Reachability in Concurrent Uninterpreted Programs.