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

Distributed reachability analysis for protocol verification..:

, In: Discrete Event Systems: Models and Applications; Lecture Notes in Control and Information Sciences,
Aggarwal, Sudhir ; Alonso, Rafael ; Courcoubetis, Costas - p. 40-56 , 1988
Link: https://doi.org/10.1007/bfb0042303