Li Li 0044, Jun Sun 0001, Jin Song Dong
Automated Verification of Timed Security Protocols with Clock Drift
FM, 2016.
@inproceedings{FM-2016-LiSD,
author = "Li Li 0044 and Jun Sun 0001 and Jin Song Dong",
booktitle = "{Proceedings of the 21st International Symposium of Formal Methods}",
doi = "10.1007/978-3-319-48989-6_31",
isbn = "978-3-319-48988-9",
pages = "513--530",
title = "{Automated Verification of Timed Security Protocols with Clock Drift}",
year = 2016,
}