The topological structures of membrane computing
Fundamenta Informaticae - Membrane computing
Decision procedures for algebraic data types with abstractions
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On better understanding OCL collections or an OCL ordered set is not an OCL set
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Strengthening SAT-based validation of UML/OCL models by representing collections as relations
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
The Topological Structures of Membrane Computing
Fundamenta Informaticae - Membrane Computing (WMC-CdeA2001)
Hi-index | 0.00 |