article

Verification of change in a fragmented event-based process coordination environment

Pieter Hens, Monique Snoeck, Manu De Backer, Geert Poels (2014) IEEE TRANSACTIONS ON SERVICES COMPUTING

Reference details