Vol-804⫷ Vol-805 ⫸Vol-806
urn:nbn:de:0074-805-0


None⫷None⫸None

Proposal of a Hierarchical Approach to Formal Verification of BPMN Models Using Alvis and XTT2 Methods