Dirk Beyer 0001, Marie-Christine Jakobs, Thomas Lemberger 0002, Heike Wehrheim. Combining Verifiers in Conditional Model Checking via Reducers. In Steffen Becker 0001, Ivan Bogicevic, Georg Herzwurm, Stefan Wagner 0001, editors, Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019. Volume P-292 of LNI, pages 151-152, GI, 2019. [doi]
Abstract is missing.