Towards a Formal Verification of Process Model's Properties - SimplePDL and TOCL Case Study

Publication
International Conference on Enterprise Information Systems (ICEIS), Funchal, Madeira - Portugal, 12/06/07-16/06/07

Related