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

Formal methods for checking realizability of coalitions in ..:

, In: Proceedings of the Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings.,
Banerjee, A. ; Dasgupta, P. ; Chakrabarti, P. P. - p. 198 ff. , 2006
Link: https://dl.acm.org/doi/10.1109/MEMCOD.2006.1695927