2020年5月18日に開催される国際会議IPDPS2020のワークショップThe 22nd Workshop on Advances in Parallel and Distributed Computational Models (APDCM2020)に以下の論文が採択されました．
Hideharu Kojima, Naoto Yanai, “A Model Checking Method for Secure Routing Protocols by SPIN with State Space Reduction”
IPDPS2020の開催が中止になりましたので，APDCMも中止になったようです．
