Proposal of Formal Verification of Selected BPMN Models with Alvis Modeling Language.

Marcin Szpyrka, Grzegorz J. Nalepa, Antoni Ligeza, Krzysztof Kluza

Browse the full IDC paper archive.