Verification of ArchiMate process specifications based on deductive temporal reasoning.

Radoslaw Klimek, Piotr Szwed

Browse the full FedCSIS paper archive.