Formal Verification for KMB09 Protocol
- 期刊名称International Journal of Theoretical Physics
- 作者Dai, Guiping
- 印刷ISSN0020-7748
- 电子ISSN1572-9575
- 文件大小272.16KB
- 发表时间2019-8-5
- DOI10.1007/s10773-019-04232-2
Foreword “Wild Plant Pathosystems”Lebeda, Aleš; Burdon, Jeremy J.; Thrall, Peter; Jeger, Michael J. · European Journal of Plant Pathology · 2014
EditorialPautasso, Marco; Jeger, Mike J. · European Journal of Plant Pathology · 2016
ForewordBoonekamp, Piet M.; Pieterse, Corné M. J.; Govers, Francine; Cornelissen, Ben J. C. · European Journal of Plant Pathology · 2019
Measuring diversity: from individuals to populationsKosman, E. · European Journal of Plant Pathology · 2014
Genealogy of the Westerdijk academic familyFaasse, Patricia · European Journal of Plant Pathology · 2019
Occurrence ofPectobacterium wasabiaein potato field samplesWaleron, M.; Waleron, K.; Lojkowska, E. · European Journal of Plant Pathology · 2013
Colletotrichum acutatumoccurs asymptomatically on apple leavesBørve, Jorunn; Stensvand, Arne · European Journal of Plant Pathology · 2017
Endogenous plant metabolites against insectsKortbeek, Ruy W. J.; van der Gragt, Michelle; Bleeker, Petra M. · European Journal of Plant Pathology · 2018