Formal Logic for Fair Exchange Protocols
| العنوان: | Formal Logic for Fair Exchange Protocols |
|---|---|
| المؤلفون: | Kai-Gui Wu, Chang-Ze Wu, Ming Chen, Jie Xu, WU Zhong-Fu |
| المصدر: | Journal of Software. 22:509-521 |
| بيانات النشر: | China Science Publishing & Media Ltd., 2011. |
| سنة النشر: | 2011 |
| مصطلحات موضوعية: | Programming language, Computer science, computer.software_genre, computer, Software |
| تدمد: | 1000-9825 |
| URL الوصول: | https://explore.openaire.eu/search/publication?articleId=doi_________::10c734443d0a33f7e53fcd581a5edfd7 https://doi.org/10.3724/sp.j.1001.2011.03945 |
| رقم الأكسشن: | edsair.doi...........10c734443d0a33f7e53fcd581a5edfd7 |
| قاعدة البيانات: | OpenAIRE |
| تدمد: | 10009825 |
|---|