. 2018 Mar 5;13(3):e0193366. doi: 10.1371/journal.pone.0193366
© 2018 Lee et al
This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.
Fig 11. ProVerif code for entire HA process.
