Reachability problems : 11th international workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings

Veröffentlicht 2017

Special issue on the 11th International Workshop on Reachability Problems (RP 2017)

Veröffentlicht 2021

Monadic Decomposition in Integer Linear Arithmetic

von Hague, Matthew
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 1 (2020)

A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type

von Chen, Taolue
Veröffentlicht in ATVA (18. : 2020 : Online) Automated technology for verification and analysis (2020)