Torsten Liebke, Karsten Wolf. Solving E (φUψ) using the CEGAR Approach. In Daniel Moldt, Ekkart Kindler, Manuel Wimmer, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019. Volume 2424 of CEUR Workshop Proceedings, pages 47-56, CEUR-WS.org, 2019. [doi]
Abstract is missing.