I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Modeling and model checking by modular approach:

, In: Companion Proceedings of the 36th International Conference on Software Engineering,
Xia, Mo ; Luo, Guiming ; Sun, Mian - p. 628-629 , 2014
Link: https://dl.acm.org/doi/10.1145/2591062.2591149