FMOODS & FORTE 2012
IFIP International Conference on Formal Techniques for Distributed Systems joint international...
FMOODS & FORTE 2012: DisCoTec'12
IFIP International Conference on Formal Techniques for Distributed Systems joint international conference 14th Formal Methods for Open Object-Based Distributed Systems 32nd Formal Techniques for Networked and Distributed...[mehr]
GT-VMT 2012
11th International Workshop on Graph Transformation and Visual Modeling Techniques, colocated to ETAPS 2012[mehr]
FMOODS & FORTE 2012
IFIP International Conference on Formal Techniques for Distributed Systems joint international conference 14th Formal Methods for Open Object-Based Distributed Systems 32nd Formal Techniques for Networked and Distributed...[mehr]
MoDELS 2012
ACM/IEEE 15th International Conference on Model-Driven Engineering Language and Systems [mehr]