Reachability problems. 11th international workshop, RP 2017, London, UK, September 7--9, 2017. Proceedings

DOI10.1007/978-3-319-67089-8MaRDI QIDQ2400909zbMATH OpenOpenAlexFDO

Authors

Publication date 30 August 2017

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of computing (68Qxx)

Recommendations

• Reachability problems. 8th international workshop, RP 2014, Oxford, UK, September 22--24, 2014. Proceedings
• Reachability problems. 15th international conference, RP 2021, Liverpool, UK, October 25--27, 2021. Proceedings
• Reachability problems. 7th international workshop, RP 2013, Uppsala, Sweden, September 24--26, 2013 Proceedings
• Reachability problems. 13th international conference, RP 2019, Brussels, Belgium, September 11--13, 2019. Proceedings
• Reachability problems. 10th international workshop, RP 2016, Aalborg, Denmark, September 19--21, 2016. Proceedings
• Reachability problems. 12th international conference, RP 2018, Marseille, France, September 24--26, 2018. Proceedings
• Reachability problems. 5th international workshop, RP 2011, Genoa, Italy, September 28--30, 2011. Proceedings
• Reachability problems. 9th international workshop, RP 2015, Warsaw, Poland, September 21--23, 2015. Proceedings
• Reachability problems. 14th international conference, RP 2020, Paris, France, October 19--21, 2020. Proceedings
• Reachability problems. 16th international conference, RP 2022, Kaiserslautern, Germany, October 17--21, 2022. Proceedings

Cited in

(2)

• An iterative approach to precondition inference using constrained Horn clauses
• Reachability problems. 9th international workshop, RP 2015, Warsaw, Poland, September 21--23, 2015. Proceedings

This page was built for publication: Reachability problems. 11th international workshop, RP 2017, London, UK, September 7--9, 2017. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2400909)