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

Proving and explaining the unfeasibility of message sequenc..:

, In: Proceedings of the International Conference on Formal Methods in Computer-Aided Design,
Cimatti, Alessandro ; Mover, Sergio ; Tonetta, Stefano - p. 54-62 , 2011
Link: https://dl.acm.org/doi/10.5555/2157654.2157666