Anna Suchenia, Piotr Wisniewski 0003, Antoni Ligeza. Overview of Verification Tools for Business Process Models. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, editors, Communication Papers of the 2017 Federated Conference on Computer Science and Information Systems, FedCSIS 2017, Prague, Czech Republic, September 3-6, 2017. pages 295-302, 2017. [doi]
Abstract is missing.