39 citations · 42 across the 2 of their papers we have counts for
1 paper · 1 filter
Ali Hanzala Khan, Ivan Porres
We propose an automatic approach to analyze the consistency and satisfiability of Unified Modeling Language UML models containing multiple class, object and statechart diagrams usi…