Reachability predicates for graph assertions

DOI10.1007/978-3-319-45994-3_5zbMath1478.68188OpenAlexW2521002357MaRDI QIDQ1708656

Giorgio Delzanno

Publication date: 26 March 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-45994-3_5

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Reachability predicates for graph assertions