Search for persons
X
?
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) ,
2
Verifying Deadlock and Nondeterminism in Activity Diagrams:
, In:
?
Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems ,
3