Comparative Analysis of the Notions of Equivalence for Process Specifications

Formal method for automated testing data flow aspects of communications protocols, software, and systems specified in Lotos

Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science,Software Engineering, Information Technology, e-Business, and Applications, 2003

Formal methods: Importance, experience, and comparative analysis

Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science,Software Engineering, Information Technology, e-Business, and Applications, 2003

Study of the characteristics of CT-Equivalence with proves

Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2004

Consistency of business process models and object life cycles

MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering