Concepedia
Publication | Closed Access
Using the B Method for the Formalization of Coordinated Atomic Actions
10
Citations
7
References
2004
Year
Page 1