default search action
"Protocol synthesis and re-synthesis with optimal allocation of resources ..."
Hirozumi Yamaguchi et al. (2003)
- Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino:
Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets. Distributed Comput. 16(1): 21-35 (2003)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.