IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Investigating the Applicability of Petri Nets for Rule-Based System Verification
IEEE Transactions on Knowledge and Data Engineering
On the Compatibility of Model and Model-Class Transformations
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Hi-index | 0.00 |