Antoni Ligeza, Krzysztof Kluza, Grzegorz J. Nalepa, Tomasz Potempa. AI Approach to Formal Analysis of BPMN Models. Towards a Logical Model for BPMN Diagrams. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, editors, Federated Conference on Computer Science and Information Systems - FedCSIS 2012, Wroclaw, Poland, 9-12 September 2012, Proceedings. pages 931-934, 2012. [doi]
@inproceedings{LigezaKNP12,
title = {AI Approach to Formal Analysis of BPMN Models. Towards a Logical Model for BPMN Diagrams},
author = {Antoni Ligeza and Krzysztof Kluza and Grzegorz J. Nalepa and Tomasz Potempa},
year = {2012},
url = {http://fedcsis.org/proceedings/fedcsis2012/pliks/272.pdf},
researchr = {https://researchr.org/publication/LigezaKNP12},
cites = {0},
citedby = {0},
pages = {931-934},
booktitle = {Federated Conference on Computer Science and Information Systems - FedCSIS 2012, Wroclaw, Poland, 9-12 September 2012, Proceedings},
editor = {Maria Ganzha and Leszek A. Maciaszek and Marcin Paprzycki},
isbn = {978-83-60810-51-4},
}